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 /lib/util/wscript | |
| parent | 48c2f803e8550a1d321d7312563a6f08bb89f096 (diff) | |
| download | samba-b990279304b5e2b2ee0f64480cb09eda33f76beb.tar.gz samba-b990279304b5e2b2ee0f64480cb09eda33f76beb.tar.bz2 samba-b990279304b5e2b2ee0f64480cb09eda33f76beb.zip | |
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 'lib/util/wscript')
| -rw-r--r-- | lib/util/wscript | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/lib/util/wscript b/lib/util/wscript new file mode 100644 index 0000000000..d296e7565b --- /dev/null +++ b/lib/util/wscript @@ -0,0 +1,3 @@ +def set_options(opt): + ''' This is a bit strange, but disable is the flag, not enable. ''' + opt.add_option('--disable-fault-handling', action='store_true', dest='disable_fault_handling', help=('disable the fault handlers'), default=False) |