diff options
author | Akim Demaille <akim.demaille@gmail.com> | 2019-10-06 10:47:12 +0200 |
---|---|---|
committer | Akim Demaille <akim.demaille@gmail.com> | 2019-10-06 12:15:12 +0200 |
commit | d2a7a28438391b9f58ed334eadcd029a27e16d5e (patch) | |
tree | e66c75ec3e8c27391244b509a0e3563cdf77bfbe /tests/local.mk | |
parent | 9e6c5328d321da6bc1d7ce0db4e3676d8132a295 (diff) | |
download | bison-d2a7a28438391b9f58ed334eadcd029a27e16d5e.tar.gz |
tests: make recheck
* tests/local.mk (recheck): New.
Diffstat (limited to 'tests/local.mk')
-rw-r--r-- | tests/local.mk | 7 |
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) |