diff --git a/configure b/configure index 51c5db53e6..8de1146602 100755 --- a/configure +++ b/configure @@ -7001,7 +7001,7 @@ cat > $TMPH <