diff options
Diffstat (limited to 'configure')
-rwxr-xr-x | configure | 16 |
1 files changed, 16 insertions, 0 deletions
diff --git a/configure b/configure index 2f9adca064..e4d013907c 100755 --- a/configure +++ b/configure @@ -764,6 +764,7 @@ with_selinux with_headers with_default_link with_nonshared_cflags +with_timeoutfactor enable_sanity_checks enable_shared enable_profile @@ -1482,6 +1483,8 @@ Optional Packages: --with-default-link do not use explicit linker scripts --with-nonshared-cflags=CFLAGS build nonshared libraries with additional CFLAGS + --with-timeoutfactor=NUM + specify an integer to scale the timeout --with-cpu=CPU select code for CPU variant Some influential environment variables: @@ -3386,6 +3389,19 @@ fi + +# Check whether --with-timeoutfactor was given. +if test "${with_timeoutfactor+set}" = set; then : + withval=$with_timeoutfactor; timeoutfactor=$withval +else + timeoutfactor=1 +fi + +cat >>confdefs.h <<_ACEOF +#define TIMEOUTFACTOR $timeoutfactor +_ACEOF + + # Check whether --enable-sanity-checks was given. if test "${enable_sanity_checks+set}" = set; then : enableval=$enable_sanity_checks; enable_sanity=$enableval |