diff options
Diffstat (limited to 'INSTALL')
-rw-r--r-- | INSTALL | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/INSTALL b/INSTALL index 02dcf6b1ca..899d7f1ed7 100644 --- a/INSTALL +++ b/INSTALL @@ -106,6 +106,11 @@ if 'CFLAGS' is specified it must enable optimization. For example: particular case and potentially change debugging information and metadata only). +'--with-timeoutfactor=NUM' + Specify an integer NUM to scale the timeout of test programs. This + factor can be changed at run time using 'TIMEOUTFACTOR' environment + variable. + '--disable-shared' Don't build shared libraries even if it is possible. Not all systems support shared libraries; you need ELF support and |