diff options
author | Ira Cooper <ira@samba.org> | 2012-03-14 12:56:02 -0400 |
---|---|---|
committer | Ira Cooper <ira@samba.org> | 2012-03-15 05:55:03 +0100 |
commit | b990279304b5e2b2ee0f64480cb09eda33f76beb (patch) | |
tree | 99620a21f1ec21f02e320298fba30f306e9f15ef /wscript | |
parent | 48c2f803e8550a1d321d7312563a6f08bb89f096 (diff) | |
download | samba-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-x | wscript | 1 |
1 files changed, 1 insertions, 0 deletions
@@ -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', |