diff --git a/configure b/configure index 04d3417200..ead5181bc3 100755 --- a/configure +++ b/configure @@ -7270,7 +7270,7 @@ cat > $TMPH <