diff options
| -rwxr-xr-x | configure | 2 | ||||
| -rw-r--r-- | configure.in | 2 |
2 files changed, 2 insertions, 2 deletions
@@ -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 diff --git a/configure.in b/configure.in index 003d9b3..346eb7b 100644 --- a/configure.in +++ b/configure.in @@ -1826,7 +1826,7 @@ PABLO_MAKE="" AC_SUBST(PARALLEL_PABLO) PARALLEL_PABLO="" -if test -n "$HAVE_PABLO"; then +if test "$HAVE_PABLO" = "yes"; then PABLO_MAKE="pablo/Makefile" if test -n "$TESTPARALLEL"; then |