diff options
-rw-r--r-- | Makefile | 4 |
1 files changed, 1 insertions, 3 deletions
@@ -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) |