aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--Makefile9
1 files changed, 1 insertions, 8 deletions
diff --git a/Makefile b/Makefile
index b09d180..c3293ad 100644
--- a/Makefile
+++ b/Makefile
@@ -41,15 +41,8 @@ check: all
sh tests/ranking.sh
sh tests/signals.sh
-VALGRIND_FLAGS= \
- --show-error-list=yes \
- --show-leak-kinds=all \
- --leak-check=full \
- --track-origins=yes \
- --error-exitcode=1
-
dev-check: check fallible-tests
- valgrind $(VALGRIND_FLAGS) ./run-tests
+ valgrind `fallible-check --valgrind-flags` ./run-tests
fallible-check ./fallible-tests
sh aux/assert-clang-format.sh
sh aux/assert-shellcheck.sh