wok view ffmpeg/stuff/build.patch @ rev 21029

updated hatari (2.0.0 -> 2.2.0)
author Hans-G?nter Theisgen
date Sun Mar 10 17:31:25 2019 +0100 (2019-03-10)
parents c5f7c8ee2f96
children
line source
1 --- configure.orig Wed Apr 22 17:24:34 2009
2 +++ configure Tue Apr 21 21:21:01 2009
3 @@ -1371,33 +1371,13 @@
4 : ${TMPDIR:=$TMP}
5 : ${TMPDIR:=/tmp}
6
7 -if ! check_cmd type mktemp; then
8 - # simple replacement for missing mktemp
9 - # NOT SAFE FOR GENERAL USE
10 - mktemp(){
11 - echo "${2%XXX*}.${HOSTNAME}.${UID}.$$"
12 - }
13 -fi
14 -
15 -tmpfile(){
16 - tmp=$(mktemp -u "${TMPDIR}/ffconf.XXXXXXXX")$2 &&
17 - (set -C; exec > $tmp) 2>/dev/null ||
18 - die "Unable to create temoporary file in $TMPDIR."
19 - append TMPFILES $tmp
20 - eval $1=$tmp
21 -}
22
23 -trap 'rm -f -- $TMPFILES' EXIT
24 -trap exit HUP INT TERM
25 -
26 -tmpfile TMPC .c
27 -tmpfile TMPE $EXESUF
28 -tmpfile TMPH .h
29 -tmpfile TMPO .o
30 -tmpfile TMPS .S
31 -tmpfile TMPSH .sh
32 -
33 -unset -f mktemp
34 +TMPC="${TMPDIR}/ffmpeg-conf-${RANDOM}-$$-${RANDOM}.c"
35 +TMPE="${TMPDIR}/ffmpeg-conf-${RANDOM}-$$-${RANDOM}${EXESUF}"
36 +TMPH="${TMPDIR}/ffmpeg-conf-${RANDOM}-$$-${RANDOM}.h"
37 +TMPO="${TMPDIR}/ffmpeg-conf-${RANDOM}-$$-${RANDOM}.o"
38 +TMPS="${TMPDIR}/ffmpeg-conf-${RANDOM}-$$-${RANDOM}.S"
39 +TMPSH="${TMPDIR}/ffmpeg-conf-${RANDOM}-$$-${RANDOM}.sh"
40
41 # make sure we can execute files in $TMPDIR
42 cat > $TMPSH 2>> $logfile <<EOF