mirror of
https://github.com/samba-team/samba.git
synced 2025-03-01 04:58:35 +03:00
b990279304
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.
4 lines
245 B
Python
4 lines
245 B
Python
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)
|