diff --git a/configure b/configure index 6321bf87a8..0ed5de8409 100755 --- a/configure +++ b/configure @@ -7597,7 +7597,7 @@ cat > $TMPH <