Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Remove unneeded mktemp usage and default to /tmp
The current usage is incompatible with GNU mktemp, and is also unnecessary, as it does not leverage the XXXXXX mechanism to avoid conflicts. Also, $TMPDIR is usually not set on linux distributions, in which case /tmp should be used by default.
- Loading branch information