diff options
author | Morgan Deters <mdeters@gmail.com> | 2012-06-06 16:17:19 +0000 |
---|---|---|
committer | Morgan Deters <mdeters@gmail.com> | 2012-06-06 16:17:19 +0000 |
commit | ee29e7343e0306875e8e09dda1ac58f845ac603e (patch) | |
tree | c303a29ec48f53eb46e45d5b4197c04da17f5f95 /configure.ac | |
parent | b8d08b54a0dc3e05cf557e9f5f0d375b1330fed6 (diff) |
Fixing numerous issues with tests and "make dist":
* test/regress/regress0/unconstrained wasn't being distributed. This caused the debian build failure last night. (It still doesn't run on "make check", but had to be distributed properly.)
* Fixing an issue where a test name was longer than 99 characters and couldn't be distributed in the "old" tar format. (Told automake to use a newer tar format.)
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 15fb16d3f..6943ffc82 100644 --- a/configure.ac +++ b/configure.ac @@ -203,7 +203,7 @@ if test -n "${enable_replay+set}"; then fi AC_MSG_RESULT([$with_build]) -AM_INIT_AUTOMAKE([1.11 no-define parallel-tests color-tests]) +AM_INIT_AUTOMAKE([1.11 no-define tar-pax parallel-tests color-tests]) AC_CONFIG_HEADERS([cvc4autoconfig.h]) # Initialize libtool's configuration options. |