diff options
Diffstat (limited to 'configure.src')
| -rw-r--r-- | configure.src | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/configure.src b/configure.src index f0afd5c6ee..1a24bfc693 100644 --- a/configure.src +++ b/configure.src @@ -139,6 +139,10 @@ while test $# != 0; do pie_cflags="-fno-PIE" pie_ldflags="-no-pie" ;; + --enable-deterministic-build) + config_arguments="$config_arguments --enable-deterministic-build";; + --disable-deterministic-build) + config_arguments="$config_arguments --disable-deterministic-build";; CFLAGS=* | LDFLAGS=*) flgs_var=`echo "$1" | sed 's/=.*$//'` flgs_val=`echo "$1" | sed 's/^[^=]*=//'` |