diff --git a/configure b/configure index ec68648520..7507f8f387 100755 --- a/configure +++ b/configure @@ -2643,8 +2643,6 @@ check_cc <