diff options
author | Morgan Deters <mdeters@gmail.com> | 2012-08-28 15:26:46 +0000 |
---|---|---|
committer | Morgan Deters <mdeters@gmail.com> | 2012-08-28 15:26:46 +0000 |
commit | 8f3c8fb68976de7dc970020ce8add61431dccf02 (patch) | |
tree | 57beae461c658b15e79b8406f2c176ed9b65ccec /configure.ac | |
parent | cf287f593931a1c4fc141e18845b4c5d36879889 (diff) |
fix regression tests for automake 1.11 and automake 1.12---both versions should work now
Diffstat (limited to 'configure.ac')
-rw-r--r-- | configure.ac | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/configure.ac b/configure.ac index 3ad480854..0eebd62d1 100644 --- a/configure.ac +++ b/configure.ac @@ -763,7 +763,7 @@ else fi AM_CONDITIONAL([PROOF_REGRESSIONS], [test -n "$LFSC" -a "$enable_proof" = yes]) if test -n "$LFSC" -a "$enable_proof" = yes; then - TESTS_ENVIRONMENT="${TESTS_ENVIRONMENT:+$TESTS_ENVIRONMENT }LFSC=\"$(LFSC) $(LFSCARGS)\"" + TESTS_ENVIRONMENT="${TESTS_ENVIRONMENT:+$TESTS_ENVIRONMENT }LFSC=\"$LFSC $LFSCARGS\"" RUN_REGRESSION_ARGS="${RUN_REGRESSION_ARGS:+$RUN_REGRESSION_ARGS }--proof" fi AC_SUBST([TESTS_ENVIRONMENT]) |