projects / cvc5.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: e79e643)
Fix TRAVIS_CVC4 + TRAVIS_CVC4_DISTCHECK build
authorAndres Notzli <andres.noetzli@gmail.com>
Mon, 24 Oct 2016 00:14:14 +0000 (17:14 -0700)
committerAndres Notzli <andres.noetzli@gmail.com>
Mon, 24 Oct 2016 02:00:33 +0000 (19:00 -0700)
This commit adds regress4 to the `test/regress/Makefile.am`.

test/regress/Makefile.am patch | blob | history

diff --git a/test/regress/Makefile.am b/test/regress/Makefile.am
index 532d7014307cb9f97e7fa15db509fde80a418a35..b9864d51b9f4632552b267ac9c5108b85c588354 100644 (file)
--- a/test/regress/Makefile.am
+++ b/test/regress/Makefile.am
@@ -1,5 +1,5 @@
 SUBDIRS = regress0
-DIST_SUBDIRS = regress0 regress1 regress2 regress3
+DIST_SUBDIRS = regress0 regress1 regress2 regress3 regress4
 
 @mk_include@ @srcdir@/Makefile.levels
 
@@ -7,11 +7,12 @@ MAKEFLAGS = -k
 
 export VERBOSE = 1
 
-.PHONY: regress0 regress1 regress2 regress3
+.PHONY: regress0 regress1 regress2 regress3 regress4
 regress1: regress0
 regress2: regress0 regress1
 regress3: regress0 regress1 regress2
-regress0 regress1 regress2 regress3:
+regress4: regress0 regress1 regress2 regress3
+regress0 regress1 regress2 regress3 regress4:
        -cd $@ && $(MAKE) check
 
 # synonyms for "check" in this directory