1
0
mirror of https://github.com/FFmpeg/FFmpeg.git synced 2025-08-15 14:13:16 +02:00

configure: add --tempprefix option

With this and ccache configure execution time goes down from 3.9 to 2.4 seconds

Signed-off-by: Michael Niedermayer <michaelni@gmx.at>
This commit is contained in:
Michael Niedermayer
2013-10-05 13:48:22 +02:00
parent fc83c99c0b
commit 4b05906e84

8
configure vendored
View File

@@ -260,6 +260,7 @@ Advanced options (experts only):
--target-exec=CMD command to run executables on target --target-exec=CMD command to run executables on target
--target-path=DIR path to view of build directory on target --target-path=DIR path to view of build directory on target
--target-samples=DIR path to samples directory on target --target-samples=DIR path to samples directory on target
--tempprefix=PATH force fixed dir/prefix instead of mktemp for checks
--toolchain=NAME set tool defaults according to NAME --toolchain=NAME set tool defaults according to NAME
--nm=NM use nm tool NM [$nm_default] --nm=NM use nm tool NM [$nm_default]
--ar=AR use archive tool AR [$ar_default] --ar=AR use archive tool AR [$ar_default]
@@ -1653,6 +1654,7 @@ CMDLINE_SET="
target_os target_os
target_path target_path
target_samples target_samples
tempprefix
toolchain toolchain
valgrind valgrind
yasmexe yasmexe
@@ -2650,7 +2652,11 @@ HOSTEXESUF=$(exesuf $host_os)
: ${TMPDIR:=$TMP} : ${TMPDIR:=$TMP}
: ${TMPDIR:=/tmp} : ${TMPDIR:=/tmp}
if ! check_cmd mktemp -u XXXXXX; then if [ -n "$tempprefix" ] ; then
mktemp(){
echo $tempprefix.${HOSTNAME}.${UID}
}
elif ! check_cmd mktemp -u XXXXXX; then
# simple replacement for missing mktemp # simple replacement for missing mktemp
# NOT SAFE FOR GENERAL USE # NOT SAFE FOR GENERAL USE
mktemp(){ mktemp(){