diff options
author | Etienne Samson <samson.etienne@gmail.com> | 2018-10-23 20:34:47 +0000 |
---|---|---|
committer | Etienne Samson <samson.etienne@gmail.com> | 2018-10-30 22:32:23 +0100 |
commit | 0e69485efd4637223b1a138bfebaf5b3ed048bb4 (patch) | |
tree | 9d8f4ea8a062e0ab00e0ae5e71ff371efae39041 /ci | |
parent | fa274f7f08cc66e9180bc8169b00e2813bfb73d7 (diff) | |
download | libgit2-0e69485efd4637223b1a138bfebaf5b3ed048bb4.tar.gz |
clar: provide a way to run some shell before exiting
Diffstat (limited to 'ci')
-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 b64b396da..a9d607154 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 -quiet -atExit -- nohup" +LEAKS="MallocStackLogging=1 MallocScribble=1 MallocLogFile=/dev/null" cleanup() { echo "Cleaning up..." |