Fix regress1 Makefile for rewriterules, fixes bug 783.

diff --git a/test/regress/regress1/rewriterules/Makefile.am b/test/regress/regress1/rewriterules/Makefile.am
index b0fdcbee63f208ab497b37fbd4ac14ad89928e0d..a5a045d2ea73ee27ee5ccf7812559525d6ff1e14 100644 (file)
--- a/test/regress/regress1/rewriterules/Makefile.am
+++ b/test/regress/regress1/rewriterules/Makefile.am
@@ -13,6 +13,11 @@ TESTS_ENVIRONMENT = \
        $(AM_LOG_FLAGS) $(LOG_FLAGS)
 endif
 
+override CVC4_REGRESSION_ARGS += --rewrite-rules
+export CVC4_REGRESSION_ARGS
+
+MAKEFLAGS = -k
+
 # These are run for all build profiles.
 # If a test shouldn't be run in e.g. competition mode,
 # put it below in "TESTS +="