From: Andres Noetzli <andres.noetzli@gmail.com>
Date: Wed, 21 Mar 2018 23:51:56 +0000 (-0700)
Subject: Fix 'make regress' (#1683)
X-Git-Tag: cvc5-1.0.0~5221
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=6a0b4c3c4c77aa1bdd1a44c41d4c3ad9c88d9307;p=cvc5.git

Fix 'make regress' (#1683)

Commit b8db52f9bad5b1053810c93f0067de8423349da3 removed the option to do "make regress" (I only tested with "make regressX" and "make check"). This commit reenables "make regress".
---

diff --git a/test/regress/Makefile.am b/test/regress/Makefile.am
index cd245f3e6..e1a3d7e7f 100644
--- a/test/regress/Makefile.am
+++ b/test/regress/Makefile.am
@@ -22,7 +22,9 @@ endif
 MAKEFLAGS = -k
 
 export VERBOSE = 1
-.PHONY: regress0 regress1 regress2 regress3 regress4
+.PHONY: regress regress0 regress1 regress2 regress3 regress4
+
+regress: regress1
 
 regress0:
 	REGRESSION_LEVEL=0 $(MAKE) check