diff --git a/configure b/configure index 8cfad803de..6a83077c3a 100755 --- a/configure +++ b/configure @@ -1985,6 +1985,22 @@ check_cc <