diff options
| -rw-r--r-- | lib/replace/wscript | 5 |
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') |