1 files changed, 1 insertions, 1 deletions
diff --git a/configure b/configure
index 7e598cb..b41f304 100755
--- a/configure
+++ b/configure
@@ -9655,7 +9655,7 @@ PABLO_MAKE=""
 
  PARALLEL_PABLO=""
 
-if test -n "$HAVE_PABLO"; then
+if test "$HAVE_PABLO" = "yes"; then
   PABLO_MAKE="pablo/Makefile"
 
   if test -n "$TESTPARALLEL"; then