diff --git a/configure b/configure index 5bfd8e670a..539c5815bb 100755 --- a/configure +++ b/configure @@ -3779,8 +3779,7 @@ EOF done check_cc <