Welcome to mirror list, hosted at ThFree Co, Russian Federation.

github.com/FFmpeg/FFmpeg.git - Unnamed repository; edit this file 'description' to name the repository.
summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorMans Rullgard <mans@mansr.com>2010-10-07 03:44:52 +0400
committerMans Rullgard <mans@mansr.com>2011-01-19 01:17:10 +0300
commit09a5c2452cab8931f70ecb51705114682c962f98 (patch)
treed4ea14e0a429817dd38555112258ad3b457f29aa /configure
parent44caaa560b8527acba99bc493040600add0fdb74 (diff)
configure: fix mktemp test and fallback function
Diffstat (limited to 'configure')
-rwxr-xr-xconfigure4
1 files changed, 2 insertions, 2 deletions
diff --git a/configure b/configure
index 123de515b5..895b855859 100755
--- a/configure
+++ b/configure
@@ -1792,11 +1792,11 @@ HOSTEXESUF=$(exesuf $host_os)
: ${TMPDIR:=$TMP}
: ${TMPDIR:=/tmp}
-if ! check_cmd type mktemp; then
+if ! check_cmd mktemp -u; then
# simple replacement for missing mktemp
# NOT SAFE FOR GENERAL USE
mktemp(){
- echo "${2%XXX*}.${HOSTNAME}.${UID}.$$"
+ echo "${2%%XXX*}.${HOSTNAME}.${UID}.$$"
}
fi