aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--Makefile4
1 files changed, 1 insertions, 3 deletions
diff --git a/Makefile b/Makefile
index ad5e4c8..38e31d0 100644
--- a/Makefile
+++ b/Makefile
@@ -25,9 +25,7 @@ check: all run-tests
sh tests/ranking.sh
sh tests/signals.sh
-dev-check: check fallible-tests
- valgrind `fallible-check --valgrind-flags` ./run-tests
- fallible-check ./fallible-tests
+dev-check: check
sh aux/assert-shellcheck.sh
sh aux/workflow/assert-todos.sh
sh aux/workflow/assert-changelog.sh $(NAME) $(NAME)