diff --git a/configure b/configure index ba5793b2ff..6629783f34 100755 --- a/configure +++ b/configure @@ -7783,7 +7783,7 @@ cat > $TMPH <