diff options
author | Morgan Deters <mdeters@gmail.com> | 2010-10-28 06:20:17 +0000 |
---|---|---|
committer | Morgan Deters <mdeters@gmail.com> | 2010-10-28 06:20:17 +0000 |
commit | 61cff4d656a292c6138be5e08715cadd28e22b03 (patch) | |
tree | d55344d93dc76f518add73c1163e72b808ab4ac7 /configure.ac | |
parent | be432fe60ee4bd7ae9143a38c7a4f30ad47c5eda (diff) |
fix confusing CXXTEST configure message, indicating success at finding cxxtest when it wasn't found.
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 1635f938a..feb0be86c 100644 --- a/configure.ac +++ b/configure.ac @@ -592,7 +592,7 @@ AC_ARG_WITH([cxxtest-dir], # In the case of "./configure --with-cxxtest-dir=../cxxtest" (or other # relative path) and having switched the configure directory (see above), # search with respect to the top source dir, not the build dir -if test "$CVC4_CONFIGURE_IN_BUILDS" = yes; then +if test "$CVC4_CONFIGURE_IN_BUILDS" = yes -a -n "$CXXTEST"; then case "$CXXTEST" in /*) ;; *) CXXTEST="$srcdir/$CXXTEST" ;; |