diff --git a/configure b/configure index 38cbfd3d1b..998b0292b8 100755 --- a/configure +++ b/configure @@ -8521,7 +8521,7 @@ cat > $TMPH <