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

index 532d7014307cb9f97e7fa15db509fde80a418a35..b9864d51b9f4632552b267ac9c5108b85c588354 100644 (file)
@@ -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