diff options
author | Luca Barbato <lu_zero@gentoo.org> | 2015-05-06 13:37:31 +0200 |
---|---|---|
committer | Luca Barbato <lu_zero@gentoo.org> | 2015-06-02 10:33:11 +0200 |
commit | 604abd025dac4cc73a2f6b0c000c3695c16fb000 (patch) | |
tree | e356f5a3fea1eb2505e9ea8d63620d654cb291ba | |
parent | 06db45523c1068c24f049ef2b20fcdead3bf36d8 (diff) | |
download | ffmpeg-604abd025dac4cc73a2f6b0c000c3695c16fb000.tar.gz |
configure: Provide an option to override the environment
Useful to have `make config` work with custom pkgconf path.
Signed-off-by: Luca Barbato <lu_zero@gentoo.org>
-rwxr-xr-x | configure | 6 |
1 files changed, 6 insertions, 0 deletions
@@ -263,6 +263,7 @@ Toolchain options: --enable-pic build position-independent code --enable-thumb compile for Thumb instruction set --enable-lto use link-time optimization + --env="ENV=override" override the environment variables Advanced options (experts only): --malloc-prefix=PREFIX prefix malloc and related names with PREFIX @@ -1668,6 +1669,7 @@ CMDLINE_SET=" cpu cross_prefix dep_cc + env extra_version host_cc host_cflags @@ -2540,6 +2542,10 @@ for opt do esac done +for e in "$env"; do + eval "export $e" +done + disabled logging && logfile=/dev/null echo "# $0 $LIBAV_CONFIGURATION" > $logfile |