diff options
| author | Egor Tensin <Egor.Tensin@gmail.com> | 2023-06-28 20:55:58 +0200 |
|---|---|---|
| committer | Egor Tensin <Egor.Tensin@gmail.com> | 2023-06-28 21:08:03 +0200 |
| commit | 9e4594461b333f33db90f38fdb1482d6f4cef9ad (patch) | |
| tree | 783a0a1d929f57dd2e214a99a37d206d0408e436 /src | |
| parent | file: readlink(2) doesn't null-terminate (diff) | |
| download | cimple-9e4594461b333f33db90f38fdb1482d6f4cef9ad.tar.gz cimple-9e4594461b333f33db90f38fdb1482d6f4cef9ad.zip | |
valgrind: exit with an error after leak detection
I cannot believe this isn't default.
Diffstat (limited to 'src')
| -rwxr-xr-x | src/valgrind.sh | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/valgrind.sh b/src/valgrind.sh index 806d05e..160b573 100755 --- a/src/valgrind.sh +++ b/src/valgrind.sh @@ -9,6 +9,7 @@ if ! command -v valgrind &> /dev/null; then fi exec valgrind -q \ + --error-exitcode=10 \ --leak-check=full \ --show-leak-kinds=all \ --track-origins=yes \ |