1 files changed, 1 insertions, 1 deletions
diff --git a/configure b/configure
index 997282f7a8..5e97d0f6d6 100755
--- a/configure
+++ b/configure
@@ -5723,7 +5723,7 @@ if test x"$with_ppl$with_ppl_include$with_ppl_lib" = x && test -d ${srcdir}/ppl;
   with_ppl=yes
 fi
 
-if test "x$with_ppl" = xyes; then
+if test "x$with_ppl" != xno; then
   if test "x$pwllib" = x; then
     saved_LDFLAGS="$LDFLAGS"
     LDFLAGS="$LDFLAGS $ppllibs"