diff options
| author | Jack Lloyd <[email protected]> | 2017-09-20 01:27:40 -0400 |
|---|---|---|
| committer | Jack Lloyd <[email protected]> | 2017-09-20 01:27:40 -0400 |
| commit | bf519f75321eeab85ee6ace9014c03fed41c8812 (patch) | |
| tree | 2c5bd5c9089b5814b7058264076147d62bdaf8fb | |
| parent | 02b9f1cbf12b0f81ba8dbf2d87702791909c15aa (diff) | |
Have valgrind error out on memory leaks
| -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'] |