summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--lib/replace/wscript5
1 files changed, 5 insertions, 0 deletions
diff --git a/lib/replace/wscript b/lib/replace/wscript
index dfeaab895b..c2e545f882 100644
--- a/lib/replace/wscript
+++ b/lib/replace/wscript
@@ -48,6 +48,11 @@ def configure(conf):
if 'HAVE_STDDEF_H' in conf.env and 'HAVE_STDLIB_H' in conf.env:
conf.DEFUN('STDC_HEADERS', 1)
+ if 'HAVE_SYS_TIME_H' in conf.env and 'HAVE_TIME_H' in conf.env:
+ conf.DEFUN('TIME_WITH_SYS_TIME', 1)
+
+ conf.define('SHLIBEXT', "so", quote=True)
+
conf.check(type_name='long long')
conf.CHECK_TYPES('intptr_t uintptr_t ptrdiff_t')
conf.CHECK_TYPES('comparison_fn_t socklen_t bool')