mirror of
https://git.proxmox.com/git/mirror_lxc
synced 2025-07-27 08:12:20 +00:00
meson: Add coverity flag
Signed-off-by: Stéphane Graber <stgraber@ubuntu.com>
This commit is contained in:
parent
3d24d295ce
commit
4dd5e0cf13
@ -128,6 +128,7 @@ endif
|
|||||||
|
|
||||||
# Custom configuration.
|
# Custom configuration.
|
||||||
cgrouppattern = get_option('cgroup-pattern')
|
cgrouppattern = get_option('cgroup-pattern')
|
||||||
|
coverity = get_option('coverity-build')
|
||||||
init_script = get_option('init-script')
|
init_script = get_option('init-script')
|
||||||
want_examples = get_option('examples')
|
want_examples = get_option('examples')
|
||||||
want_io_uring = get_option('io-uring-event-loop')
|
want_io_uring = get_option('io-uring-event-loop')
|
||||||
@ -137,6 +138,9 @@ want_tests = get_option('tests')
|
|||||||
want_tools = get_option('tools')
|
want_tools = get_option('tools')
|
||||||
|
|
||||||
srcconf.set_quoted('DEFAULT_CGROUP_PATTERN', cgrouppattern)
|
srcconf.set_quoted('DEFAULT_CGROUP_PATTERN', cgrouppattern)
|
||||||
|
if coverity
|
||||||
|
srcconf.set('ENABLE_COVERITY_BUILD', 1)
|
||||||
|
endif
|
||||||
|
|
||||||
dummy_config_data = configuration_data()
|
dummy_config_data = configuration_data()
|
||||||
dummy_config_data.set_quoted('DUMMY_VARIABLE', '1')
|
dummy_config_data.set_quoted('DUMMY_VARIABLE', '1')
|
||||||
|
@ -4,6 +4,9 @@
|
|||||||
option('cgroup-pattern', type: 'string', value: '',
|
option('cgroup-pattern', type: 'string', value: '',
|
||||||
description: 'CGroup pattern')
|
description: 'CGroup pattern')
|
||||||
|
|
||||||
|
option('coverity-build', type: 'boolean', value: 'true',
|
||||||
|
description: 'build for coverity')
|
||||||
|
|
||||||
option('examples', type: 'boolean', value: 'true',
|
option('examples', type: 'boolean', value: 'true',
|
||||||
description: 'build and install examples')
|
description: 'build and install examples')
|
||||||
|
|
||||||
|
Loading…
Reference in New Issue
Block a user