From fb2f690c235470c8ec72d207eaa97213b1cdc446 Mon Sep 17 00:00:00 2001 From: Andres Notzli Date: Sun, 23 Oct 2016 17:14:14 -0700 Subject: [PATCH] Fix TRAVIS_CVC4 + TRAVIS_CVC4_DISTCHECK build This commit adds regress4 to the `test/regress/Makefile.am`. --- test/regress/Makefile.am | 7 ++++--- 1 file 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 -- 2.30.2