diff options
Diffstat (limited to 'src/scripts/ci_build.py')
| -rwxr-xr-x | src/scripts/ci_build.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/scripts/ci_build.py b/src/scripts/ci_build.py index 27ffc9f3c..3ba97a68c 100755 --- a/src/scripts/ci_build.py +++ b/src/scripts/ci_build.py @@ -83,7 +83,7 @@ def determine_flags(target, target_os, target_cpu, target_cc, cc_bin, ccache, ro flags += ['--with-coverage-info'] if target == 'valgrind': flags += ['--with-valgrind'] - test_prefix = ['valgrind', '--error-exitcode=9', '-v'] + test_prefix = ['valgrind', '--error-exitcode=9', '-v', '--leak-check=full', '--show-reachable=yes'] test_cmd += fast_tests if target == 'fuzzers': flags += ['--unsafe-fuzzer-mode'] |