diff --git a/configure b/configure index fbb1e3c5fe..6c91b40602 100755 --- a/configure +++ b/configure @@ -7399,7 +7399,7 @@ cat > $TMPH <