diff options
author | Andres Notzli <andres.noetzli@gmail.com> | 2016-10-23 17:14:14 -0700 |
---|---|---|
committer | Andres Notzli <andres.noetzli@gmail.com> | 2016-10-23 19:00:33 -0700 |
commit | fb2f690c235470c8ec72d207eaa97213b1cdc446 (patch) | |
tree | 9ae4ff11e7c55778e0efe504313599e27d80f55e /test/regress/Makefile.am | |
parent | e79e64329ce7d6df0003cab28dadb9b8bcc6f9ca (diff) |
Fix TRAVIS_CVC4 + TRAVIS_CVC4_DISTCHECK build
This commit adds regress4 to the `test/regress/Makefile.am`.
Diffstat (limited to 'test/regress/Makefile.am')
-rw-r--r-- | test/regress/Makefile.am | 7 |
1 files changed, 4 insertions, 3 deletions
diff --git a/test/regress/Makefile.am b/test/regress/Makefile.am index 532d70143..b9864d51b 100644 --- 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 |