Makefile.coq.local · c07c52fcc05785a66d8d7d6e1570f72dbcdc65b5 · Janno / iris-coq · GitLab

Find file Blame History Permalink

Use mktemp instead of tempfile · c07c52fc
Ralf Jung authored May 25, 2018
```
mktemp seems to also be available on macOS -- though without `--suffix`.
```
c07c52fc