diff options
Diffstat (limited to 'lib/util/wscript_configure')
| -rw-r--r-- | lib/util/wscript_configure | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/lib/util/wscript_configure b/lib/util/wscript_configure index c5744c5520..e7cb05e8c0 100644 --- a/lib/util/wscript_configure +++ b/lib/util/wscript_configure @@ -2,5 +2,4 @@ conf.CHECK_HEADERS('execinfo.h') # backtrace could be in libexecinfo or in libc -conf.CHECK_FUNCS_IN('backtrace', 'execinfo') -conf.CHECK_FUNCS('backtrace') +conf.CHECK_FUNCS_IN('backtrace', 'execinfo', checklibc=True) |