diff --git a/configure b/configure index f08cdab3d1..675dc84f56 100755 --- a/configure +++ b/configure @@ -7832,7 +7832,7 @@ cat > $TMPH <