diff options
author | Morgan Deters <mdeters@gmail.com> | 2012-07-08 22:10:17 +0000 |
---|---|---|
committer | Morgan Deters <mdeters@gmail.com> | 2012-07-08 22:10:17 +0000 |
commit | d42f2360c109d22ae416f68aa3e4f5f7c6e14d20 (patch) | |
tree | dc6ebc152ec9405b884af4d0870e049454a6dda0 /configure.ac | |
parent | de960c723acfa94c7d56bde342e40d6a0b5ba19d (diff) |
remove a debugging line from configure script that was left in inadvertently
Diffstat (limited to 'configure.ac')
-rw-r--r-- | configure.ac | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/configure.ac b/configure.ac index 80de245d6..e2517cbd9 100644 --- a/configure.ac +++ b/configure.ac @@ -875,7 +875,6 @@ fi cvc4_has_threads=yes AC_ARG_ENABLE([thread-support], AS_HELP_STRING([--disable-thread-support], [do not support multithreaded-capable library])) -echo "enable_thread_support: $enable_thread_support" if test "$enable_thread_support" = no; then cvc4_has_threads=no if test "$with_portfolio" = yes; then |