diff --git a/configure b/configure index d25f155cdc..9190c4e4cd 100755 --- a/configure +++ b/configure @@ -5678,7 +5678,7 @@ cat > $TMPH <