diff --git a/configure b/configure index 5eb11e4421..592df195ac 100755 --- a/configure +++ b/configure @@ -6624,7 +6624,7 @@ cat > $TMPH <