diff options
| -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 \ |