diff options
author | Andrew Reynolds <andrew.j.reynolds@gmail.com> | 2016-10-26 16:26:57 -0500 |
---|---|---|
committer | GitHub <noreply@github.com> | 2016-10-26 16:26:57 -0500 |
commit | 059b384c7aa7a54e5a6a321aa1a1c9caeb1d9118 (patch) | |
tree | 5bcdd0dc2c197dae9ebc915860a200a1e3ef95fd /test | |
parent | 031722bee8682005bd4c8700ef78b5f893fc48fe (diff) | |
parent | fb2f690c235470c8ec72d207eaa97213b1cdc446 (diff) |
Merge pull request #98 from 4tXJ7f/fix_dist_build
Fix TRAVIS_CVC4 + TRAVIS_CVC4_DISTCHECK build
Diffstat (limited to 'test')
-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 |