diff options
Diffstat (limited to 'source3/wscript')
| -rw-r--r-- | source3/wscript | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/source3/wscript b/source3/wscript index 63bca9d060..2c03c304db 100644 --- a/source3/wscript +++ b/source3/wscript @@ -1484,6 +1484,7 @@ main() { if Options.options.with_profiling_data: conf.DEFINE('WITH_PROFILE', 1); + conf.CHECK_FUNCS('getrusage', headers="sys/time.h sys/resource.h") if Options.options.with_pthreadpool: if conf.CONFIG_SET('HAVE_PTHREAD'): |