From 8794cfbbc5dd0cf1e93cd4d7ab58e8c2b229cce6 Mon Sep 17 00:00:00 2001
From: James Almer <jamrial@gmail.com>
Date: Sat, 20 May 2017 21:29:58 -0300
Subject: [PATCH] configure: fix --tempprefix option

It was broken in 091c9860559e4d33179747c5d651bc9e31bd76eb
---
 configure | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/configure b/configure
index e6aba0d88d..f8eb4417d8 100755
--- a/configure
+++ b/configure
@@ -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