make systemtap optional
parent
6a73f293fc
commit
4fc9493e2f
|
@ -110,7 +110,7 @@ config = configuration_data()
|
||||||
|
|
||||||
config.set('PREFIX', '"' + prefix + '"')
|
config.set('PREFIX', '"' + prefix + '"')
|
||||||
|
|
||||||
if host_system == 'linux' and cc.has_header('sys/sdt.h')
|
if host_system == 'linux' and get_option('systemtap') and cc.has_header('sys/sdt.h')
|
||||||
config.set('HAVE_USDT', true)
|
config.set('HAVE_USDT', true)
|
||||||
endif
|
endif
|
||||||
|
|
||||||
|
|
|
@ -4,3 +4,5 @@ option('pam', type: 'feature', value: 'auto',
|
||||||
description: 'Enable PAM authentication')
|
description: 'Enable PAM authentication')
|
||||||
option('man-pages', type: 'feature', value: 'auto',
|
option('man-pages', type: 'feature', value: 'auto',
|
||||||
description: 'Generate and install man pages')
|
description: 'Generate and install man pages')
|
||||||
|
option('systemtap', type: 'boolean', value: false,
|
||||||
|
description: 'Enable tracing using sdt')
|
||||||
|
|
Loading…
Reference in New Issue