diff --git a/configure b/configure index 6c843ad682..61a9b20f0e 100755 --- a/configure +++ b/configure @@ -7518,7 +7518,7 @@ cat > $TMPH <