summaryrefslogtreecommitdiff
path: root/tests/local.mk
diff options
context:
space:
mode:
authorAkim Demaille <akim.demaille@gmail.com>2021-01-26 07:11:32 +0100
committerAkim Demaille <akim.demaille@gmail.com>2021-01-27 20:48:38 +0100
commit77a8b84fc8bbe39dc231a1f657fd56a50fac5855 (patch)
treefda9250c96892fe0d8023c44e9b644b7040042ac /tests/local.mk
parentb27bba5cedbe552b2a406e051de293c677c2b9a7 (diff)
downloadbison-77a8b84fc8bbe39dc231a1f657fd56a50fac5855.tar.gz
tests: provide check-examples and check-tests
* examples/local.mk (check-examples): New. * tests/local.mk (check-tests): New. * README-hacking.md: Document them.
Diffstat (limited to 'tests/local.mk')
-rw-r--r--tests/local.mk3
1 files changed, 2 insertions, 1 deletions
diff --git a/tests/local.mk b/tests/local.mk
index 37c542ad..9896d912 100644
--- a/tests/local.mk
+++ b/tests/local.mk
@@ -114,7 +114,8 @@ recheck: $(RUN_TESTSUITE_deps)
-e 'eof && /^(\d+).*: FAILED/ && print "$$1 "' \
%D%/testsuite.dir/*/testsuite.log)
-check-local: $(RUN_TESTSUITE_deps)
+.PHONY: check-tests
+check-local check-tests: $(RUN_TESTSUITE_deps)
$(RUN_TESTSUITE)
# Run the test suite on the *installed* tree.