diff options
author | Tianyi Liang <tianyi-liang@uiowa.edu> | 2013-12-25 18:44:59 -0600 |
---|---|---|
committer | Tianyi Liang <tianyi-liang@uiowa.edu> | 2013-12-25 18:44:59 -0600 |
commit | 97b04f18011a56e11fc5057b304fff9e9ab4e753 (patch) | |
tree | a172539094d536b112c7a84f274a8cc0950751b1 /test/regress/regress0/strings | |
parent | 2149ccfe0ab56bcd2661f506e8b7d1ee72896ba3 (diff) | |
parent | a330794d87890f373d8e06c91bf6d6cc9fd662ff (diff) |
Merge branch 'master' of https://github.com/CVC4/CVC4
Diffstat (limited to 'test/regress/regress0/strings')
-rw-r--r-- | test/regress/regress0/strings/Makefile.am | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/test/regress/regress0/strings/Makefile.am b/test/regress/regress0/strings/Makefile.am index e24cbc565..a5c6ae2f4 100644 --- a/test/regress/regress0/strings/Makefile.am +++ b/test/regress/regress0/strings/Makefile.am @@ -4,12 +4,12 @@ end@mk_if@ LOG_COMPILER = @srcdir@/../../run_regression -AM_LOG_FLAGS = $(RUN_REGRESSION_ARGS) @top_builddir@/src/main/$(BINARY)$(EXEEXT) +AM_LOG_FLAGS = $(RUN_REGRESSION_ARGS) @abs_top_builddir@/src/main/$(BINARY)$(EXEEXT) if AUTOMAKE_1_11 # old-style (pre-automake 1.12) test harness TESTS_ENVIRONMENT = \ - $(TESTS_ENVIRONMENT) $(LOG_COMPILER) \ + $(LOG_COMPILER) \ $(AM_LOG_FLAGS) $(LOG_FLAGS) endif |