aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorJordi Vilalta Prat2008-06-09 03:09:44 +0000
committerJordi Vilalta Prat2008-06-09 03:09:44 +0000
commit5937fde1c72cf2382e85e674b6fc0bdcf10d8f92 (patch)
tree1d0f9673226b97ea21597723371dc7277c3f9e73
parentd218badb6b2398d39d314cacae1882187372e32b (diff)
downloadscummvm-rg350-5937fde1c72cf2382e85e674b6fc0bdcf10d8f92.tar.gz
scummvm-rg350-5937fde1c72cf2382e85e674b6fc0bdcf10d8f92.tar.bz2
scummvm-rg350-5937fde1c72cf2382e85e674b6fc0bdcf10d8f92.zip
Use mktemp when available
svn-id: r32625
-rwxr-xr-xconfigure9
1 files changed, 6 insertions, 3 deletions
diff --git a/configure b/configure
index eb808114ad..2901d93480 100755
--- a/configure
+++ b/configure
@@ -125,9 +125,12 @@ _prefix=/usr/local
_srcdir=`dirname $0`
-# TODO: We should really use mktemp(1) to determine a random tmp file name.
-# However, that tool might not be available everywhere.
-TMPO=${_srcdir}/scummvm-conf
+# Determine a tmp file name, using mktemp(1) when available.
+if type mktemp > /dev/null 2>&1 ; then
+ TMPO=`mktemp`
+else
+ TMPO=${_srcdir}/scummvm-conf
+fi
TMPC=${TMPO}.cpp
TMPLOG=${_srcdir}/config.log