From 9e4594461b333f33db90f38fdb1482d6f4cef9ad Mon Sep 17 00:00:00 2001 From: Egor Tensin Date: Wed, 28 Jun 2023 20:55:58 +0200 Subject: valgrind: exit with an error after leak detection I cannot believe this isn't default. --- src/valgrind.sh | 1 + 1 file changed, 1 insertion(+) 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 \ -- cgit v1.2.3