summaryrefslogtreecommitdiff
path: root/tests/local.mk
diff options
context:
space:
mode:
authorAkim Demaille <akim.demaille@gmail.com>2019-10-06 10:47:12 +0200
committerAkim Demaille <akim.demaille@gmail.com>2019-10-06 12:15:12 +0200
commitd2a7a28438391b9f58ed334eadcd029a27e16d5e (patch)
treee66c75ec3e8c27391244b509a0e3563cdf77bfbe /tests/local.mk
parent9e6c5328d321da6bc1d7ce0db4e3676d8132a295 (diff)
downloadbison-d2a7a28438391b9f58ed334eadcd029a27e16d5e.tar.gz
tests: make recheck
* tests/local.mk (recheck): New.
Diffstat (limited to 'tests/local.mk')
-rw-r--r--tests/local.mk7
1 files changed, 7 insertions, 0 deletions
diff --git a/tests/local.mk b/tests/local.mk
index 9f55e552..550328ea 100644
--- a/tests/local.mk
+++ b/tests/local.mk
@@ -94,6 +94,13 @@ clean-local: clean-local-tests
clean-local-tests:
test ! -f $(TESTSUITE) || $(TESTSUITE) -C %D% --clean
+.PHONY: recheck
+recheck: $(RUN_TESTSUITE_deps)
+ $(RUN_TESTSUITE) \
+ $$(perl -n \
+ -e 'if (/Summary of the failures/../Detailed failed tests/)' \
+ -e '{ /^ *[0-9]+:/ && s/:.*//s && print }' %D%/testsuite.log)
+
check-local: $(RUN_TESTSUITE_deps)
$(RUN_TESTSUITE)