diff options
author | Michael Niedermayer <michaelni@gmx.at> | 2013-10-05 13:48:22 +0200 |
---|---|---|
committer | Michael Niedermayer <michaelni@gmx.at> | 2013-10-05 18:43:21 +0200 |
commit | 4b05906e84051032eb8c6d92cc719ce9918ee547 (patch) | |
tree | 868170f1966c0c7f3f9f6f52099a5a32ecba4c7e /configure | |
parent | fc83c99c0b4e42502b08ba0980c51e10cd99bb23 (diff) | |
download | ffmpeg-4b05906e84051032eb8c6d92cc719ce9918ee547.tar.gz |
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>
Diffstat (limited to 'configure')
-rwxr-xr-x | configure | 8 |
1 files changed, 7 insertions, 1 deletions
@@ -260,6 +260,7 @@ Advanced options (experts only): --target-exec=CMD command to run executables on target --target-path=DIR path to view of build 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 --nm=NM use nm tool NM [$nm_default] --ar=AR use archive tool AR [$ar_default] @@ -1653,6 +1654,7 @@ CMDLINE_SET=" target_os target_path target_samples + tempprefix toolchain valgrind yasmexe @@ -2650,7 +2652,11 @@ HOSTEXESUF=$(exesuf $host_os) : ${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 # NOT SAFE FOR GENERAL USE mktemp(){ |