diff options
Diffstat (limited to 'lib/util/wscript_configure')
| -rw-r--r-- | lib/util/wscript_configure | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/lib/util/wscript_configure b/lib/util/wscript_configure index fdaf67acb3..ad55476c7d 100644 --- a/lib/util/wscript_configure +++ b/lib/util/wscript_configure @@ -1,5 +1,8 @@ #!/usr/bin/env python +import Options +if Options.options.disable_fault_handling: + conf.DEFINE('HAVE_DISABLE_FAULT_HANDLING',1) # backtrace could be in libexecinfo or in libc conf.CHECK_FUNCS_IN('backtrace backtrace_symbols', 'execinfo', checklibc=True, headers='execinfo.h') |