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. --- wscript | 1 + 1 file changed, 1 insertion(+) (limited to 'wscript') diff --git a/wscript b/wscript index e1fe95363e..e64e50902a 100755 --- a/wscript +++ b/wscript @@ -30,6 +30,7 @@ def set_options(opt): opt.RECURSE('lib/uid_wrapper') opt.RECURSE('pidl') opt.RECURSE('source3') + opt.RECURSE('lib/util') gr = opt.option_group('developer options') gr.add_option('--enable-build-farm', -- cgit