diff options
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. |