diff --git a/configure b/configure index edd257052e..900505756b 100755 --- a/configure +++ b/configure @@ -7575,7 +7575,7 @@ cat > $TMPH <