diff --git a/configure b/configure index c8743b2477..9a49bcc569 100755 --- a/configure +++ b/configure @@ -7001,7 +7001,7 @@ cat > $TMPH <