testsuite: introduce --release

* tests/atlocal.in, tests/local.at: Support option --release, which sets
BISON_USE_PUSH_FOR_PULL and BISON_TEST_XML.
* tests/local.mk: Use it for maintainer-release-check.

tests/atlocal.in

diff --git a/tests/atlocal.in b/tests/atlocal.in
index 439a261..3c1c0a9 100644
--- a/tests/atlocal.in
+++ b/tests/atlocal.in
@@ -75,6 +75,15 @@
   CC_IS_CXX=0
 fi
 
+# In a similar way, handle --release
+if "$at_arg_release"; then
+  BISON_USE_PUSH_FOR_PULL=1
+  BISON_TEST_XML=1
+else
+  BISON_USE_PUSH_FOR_PULL=0
+  BISON_TEST_XML=0
+fi
+
 
 ## ------- ##
 ## Other.  ##

tests/local.at

diff --git a/tests/local.at b/tests/local.at
index a3674a5..c7a9546 100644
--- a/tests/local.at
+++ b/tests/local.at
@@ -1022,6 +1022,9 @@
 AT_ARG_OPTION([compile-c-with-cxx],
               [compile C parsers with the C++ compiler])
 
+AT_ARG_OPTION([release],
+              [check xml and use push for pull])
+
 AT_COLOR_TESTS
 
 AT_TESTED([bison])

tests/local.mk

diff --git a/tests/local.mk b/tests/local.mk
index 3d87b1d..339df2c 100644
--- a/tests/local.mk
+++ b/tests/local.mk
@@ -124,15 +124,10 @@
 .PHONY: maintainer-check
 maintainer-check: maintainer-check-posix maintainer-check-valgrind maintainer-check-g++
 
-.PHONY: maintainer-push-check
-maintainer-push-check:
-	$(MAKE) $(AM_MAKEFLAGS) maintainer-check			\
-	  TESTSUITEFLAGS='BISON_USE_PUSH_FOR_PULL=1 $(TESTSUITEFLAGS)'
-
-.PHONY: maintainer-xml-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
+maintainer-release-check:
+	$(MAKE) $(AM_MAKEFLAGS) 	\
+	  maintainer-check-g++		\
+	  maintainer-check-posix 	\
+	  maintainer-check-valgrind 	\
+	  TESTSUITEFLAGS+='--release'