From b990279304b5e2b2ee0f64480cb09eda33f76beb Mon Sep 17 00:00:00 2001 From: Ira Cooper Date: Wed, 14 Mar 2012 12:56:02 -0400 Subject: util: Add --disable-fault-handling. On some platforms you can not debug coredumps after the default signal handler gets done dumping core. This allows waf to have an option to disable our default signal handler. --- lib/util/wscript_configure | 3 +++ 1 file changed, 3 insertions(+) (limited to 'lib/util/wscript_configure') 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') -- cgit