From 61cff4d656a292c6138be5e08715cadd28e22b03 Mon Sep 17 00:00:00 2001 From: Morgan Deters Date: Thu, 28 Oct 2010 06:20:17 +0000 Subject: [PATCH] fix confusing CXXTEST configure message, indicating success at finding cxxtest when it wasn't found. --- configure.ac | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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" ;; -- 2.30.2