diff --git a/configure b/configure index edd18762e5..3b82e370b3 100755 --- a/configure +++ b/configure @@ -1508,7 +1508,7 @@ EOF check_cc <