diff options
Diffstat (limited to 'polly/configure')
-rwxr-xr-x | polly/configure | 2 |
1 files changed, 1 insertions, 1 deletions
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 |