diff options
Diffstat (limited to 'Makefile')
-rw-r--r-- | Makefile | 9 |
1 files changed, 1 insertions, 8 deletions
@@ -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 |