diff --git a/configure b/configure index de2d87a4ee..bc010d5629 100755 --- a/configure +++ b/configure @@ -5058,7 +5058,7 @@ cat > $TMPH <