diff options
Diffstat (limited to 'src/scripts/ci_build.py')
| -rwxr-xr-x | src/scripts/ci_build.py | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/scripts/ci_build.py b/src/scripts/ci_build.py index cd6f537c3..182799145 100755 --- a/src/scripts/ci_build.py +++ b/src/scripts/ci_build.py @@ -87,6 +87,8 @@ def determine_flags(target, target_os, target_cc, cc_bin, use_ccache, root_dir): flags += ['--with-valgrind'] test_prefix = ['valgrind', '--error-exitcode=9', '-v'] test_cmd += fast_tests + if target == 'fuzzers': + flags += ['--unsafe-fuzzer-mode'] if target in ['fuzzers', 'coverage', 'valgrind']: flags += ['--with-debug-info'] |