diff --git a/configure b/configure index d5d28d68ad..98476a15f2 100755 --- a/configure +++ b/configure @@ -6703,7 +6703,7 @@ cat > $TMPH <