diff --git a/configure b/configure index 15e6c321b1..eddace4d4b 100755 --- a/configure +++ b/configure @@ -7155,7 +7155,7 @@ cat > $TMPH <