From: Morgan Deters Date: Wed, 2 Jun 2010 21:12:18 +0000 (+0000) Subject: more VERBOSE test failures X-Git-Tag: cvc5-1.0.0~9010 X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=1163c334806c30ea54edadf0042690eeff8b278a;p=cvc5.git more VERBOSE test failures --- diff --git a/test/regress/Makefile.am b/test/regress/Makefile.am index 13ed5b5f6..de06dd4d2 100644 --- a/test/regress/Makefile.am +++ b/test/regress/Makefile.am @@ -1,6 +1,8 @@ SUBDIRS = regress0 DIST_SUBDIRS = regress1 regress2 regress3 +export VERBOSE = 1 + .PHONY: regress0 regress1 regress2 regress3 regress1: regress0 regress2: regress0 regress1 diff --git a/test/system/Makefile.am b/test/system/Makefile.am index 59a37a4db..219a26355 100644 --- a/test/system/Makefile.am +++ b/test/system/Makefile.am @@ -36,6 +36,8 @@ endif # rebuild tests if a library changes $(TESTS):: $(TEST_DEPS) +export VERBOSE = 1 + # synonyms for "check" .PHONY: regress test regress test: check diff --git a/test/unit/Makefile.am b/test/unit/Makefile.am index dc203061c..56c0eae26 100644 --- a/test/unit/Makefile.am +++ b/test/unit/Makefile.am @@ -32,6 +32,8 @@ UNIT_TESTS = \ util/rational_black \ util/rational_white +VERBOSE = 1 + # Things that aren't tests but that tests rely on and need to # go into the distribution TEST_DEPS_DIST = \