summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorAkim Demaille <akim@lrde.epita.fr>2013-11-05 14:15:15 +0100
committerAkim Demaille <akim@lrde.epita.fr>2013-11-05 14:15:15 +0100
commit60dcc936ceceff90ba1161208067105d3f743bb5 (patch)
treefd828c9c4690682d88153bfea593722caa888b78
parentad9d4f9f2e5b74c1306b8d2f6227f37a59832069 (diff)
downloadbison-60dcc936ceceff90ba1161208067105d3f743bb5.tar.gz
build: restore maintainer-push-check
* tests/local.mk: here.
-rw-r--r--tests/local.mk3
1 files changed, 3 insertions, 0 deletions
diff --git a/tests/local.mk b/tests/local.mk
index 5f7fa452..fbf08ba2 100644
--- a/tests/local.mk
+++ b/tests/local.mk
@@ -126,3 +126,6 @@ maintainer-push-check:
maintainer-xml-check:
$(MAKE) $(AM_MAKEFLAGS) maintainer-check \
TESTSUITEFLAGS='BISON_TEST_XML=1 $(TESTSUITEFLAGS)'
+
+.PHONY: maintainer-release-check
+maintainer-release-check: maintainer-check maintainer-push-check maintainer-xml-check