diff options
Diffstat (limited to 'ci/test.sh')
| -rwxr-xr-x | ci/test.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/ci/test.sh b/ci/test.sh index a9d607154..d45a78f26 100755 --- a/ci/test.sh +++ b/ci/test.sh @@ -14,7 +14,7 @@ USER=${USER:-$(whoami)} SUCCESS=1 VALGRIND="valgrind --leak-check=full --show-reachable=yes --error-exitcode=125 --num-callers=50 --suppressions=\"$SOURCE_DIR/libgit2_clar.supp\"" -LEAKS="MallocStackLogging=1 MallocScribble=1 MallocLogFile=/dev/null" +LEAKS="MallocStackLogging=1 MallocScribble=1 MallocLogFile=/dev/null CLAR_AT_EXIT=\"leaks -quiet \$PPID\"" cleanup() { echo "Cleaning up..." |