diff options
Diffstat (limited to 'configure.in')
| -rw-r--r-- | configure.in | 2 |
1 files changed, 1 insertions, 1 deletions
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 |