diff options
Diffstat (limited to 'test/regress/Makefile.am')
-rw-r--r-- | test/regress/Makefile.am | 8 |
1 files changed, 5 insertions, 3 deletions
diff --git a/test/regress/Makefile.am b/test/regress/Makefile.am index f068ce9ad..19cbbae4a 100644 --- a/test/regress/Makefile.am +++ b/test/regress/Makefile.am @@ -9,7 +9,9 @@ TESTS = $(REG0_TESTS) $(REG1_TESTS) $(REG2_TESTS) $(REG3_TESTS) $(REG4_TESTS) @mk_empty@BINARY = cvc4 end@mk_if@ -LOG_COMPILER = $(top_srcdir)/test/regress/run_regression +LOG_DRIVER = env AM_TAP_AWK='$(AWK)' $(SHELL) \ + $(top_srcdir)/config/tap-driver.sh --comments +LOG_COMPILER = @abs_top_srcdir@/test/regress/run_regression.py AM_LOG_FLAGS = $(RUN_REGRESSION_ARGS) @abs_top_builddir@/src/main/$(BINARY)$(EXEEXT) if AUTOMAKE_1_11 @@ -55,5 +57,5 @@ EXTRA_DIST = \ regress0/tptp/Axioms/SYN000_0.ax \ Makefile.levels \ Makefile.tests \ - run_regression \ - README.md + run_regression.py \ + README.md
\ No newline at end of file |