diff --git a/configure b/configure index b68b026d72..3b593f4ef1 100755 --- a/configure +++ b/configure @@ -8469,11 +8469,17 @@ fi cat <