diff options
-rw-r--r-- | polly/autoconf/configure.ac | 2 | ||||
-rwxr-xr-x | polly/configure | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/polly/autoconf/configure.ac b/polly/autoconf/configure.ac index 68434e50d9aa..f37c2c0d6936 100644 --- a/polly/autoconf/configure.ac +++ b/polly/autoconf/configure.ac @@ -86,7 +86,7 @@ CXXFLAGS=$saved_CXXFLAGS dnl Check that we have cloog. saved_CXXFLAGS=$CXXFLAGS CXXFLAGS="$CXXFLAGS $gmp_inc $isl_inc" -find_lib_and_headers([cloog], [cloog/isl/cloog.h], [cloog-isl], [required]) +find_lib_and_headers([cloog], [cloog/isl/cloog.h], [cloog-isl]) CXXFLAGS=$saved_CXXFLAGS AS_IF([test "x$cloog_found" = "xyes"], [AC_DEFINE([CLOOG_FOUND],[1],[Define if cloog found])]) diff --git a/polly/configure b/polly/configure index 9e45938adf79..75bbfab3b5b3 100755 --- a/polly/configure +++ b/polly/configure @@ -2618,7 +2618,7 @@ fi fi else - if test "xrequired" = "xrequired"; then : + if test "x" = "xrequired"; then : as_fn_error "cloog required but not found" "$LINENO" 5 else { $as_echo "$as_me:${as_lineno-$LINENO}: result: not found" >&5 |