diff options
-rw-r--r-- | tests/local.mk | 3 |
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 |