diff options
| author | Jack Lloyd <[email protected]> | 2017-08-31 11:48:08 -0400 |
|---|---|---|
| committer | Jack Lloyd <[email protected]> | 2017-08-31 11:48:08 -0400 |
| commit | 6626ec872bc99048fe597889a993eba2f5474840 (patch) | |
| tree | 247c5c20c76b855d667c84722832b247322c7953 | |
| parent | 41909798cb60b6e729ab0c0a178d67a83d1c55a9 (diff) | |
Ensure --unsafe-fuzzer-mode builds
| -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'] |