summaryrefslogtreecommitdiff
path: root/wscript
diff options
context:
space:
mode:
authorIra Cooper <ira@samba.org>2012-03-14 12:56:02 -0400
committerIra Cooper <ira@samba.org>2012-03-15 05:55:03 +0100
commitb990279304b5e2b2ee0f64480cb09eda33f76beb (patch)
tree99620a21f1ec21f02e320298fba30f306e9f15ef /wscript
parent48c2f803e8550a1d321d7312563a6f08bb89f096 (diff)
downloadsamba-b990279304b5e2b2ee0f64480cb09eda33f76beb.tar.gz
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.
Diffstat (limited to 'wscript')
-rwxr-xr-xwscript1
1 files changed, 1 insertions, 0 deletions
diff --git a/wscript b/wscript
index e1fe95363e8..e64e50902a2 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',