diff --git a/configure b/configure index 1797c5dd4f..231c6c371c 100755 --- a/configure +++ b/configure @@ -7000,7 +7000,7 @@ cat > $TMPH <