diff options
author | James Almer <jamrial@gmail.com> | 2017-05-21 03:29:58 +0300 |
---|---|---|
committer | James Almer <jamrial@gmail.com> | 2017-05-21 03:29:58 +0300 |
commit | 8794cfbbc5dd0cf1e93cd4d7ab58e8c2b229cce6 (patch) | |
tree | f4c77f59eca6af3550916bbf42a9c72347e5f8a7 /configure | |
parent | fc3a03fcf9cd7eafe7342e2508e6128888efa0bb (diff) |
configure: fix --tempprefix option
It was broken in 091c9860559e4d33179747c5d651bc9e31bd76eb
Diffstat (limited to 'configure')
-rwxr-xr-x | configure | 4 |
1 files changed, 3 insertions, 1 deletions
@@ -3765,7 +3765,9 @@ HOSTEXESUF=$(exesuf $host_os) if [ -n "$tempprefix" ] ; then mktemp(){ - echo $tempprefix.${HOSTNAME}.${UID} + tmpname="$tempprefix.${HOSTNAME}.${UID}" + echo "$tmpname" + mkdir "$tmpname" } elif ! check_cmd mktemp -u XXXXXX; then # simple replacement for missing mktemp |