diff --git a/configure b/configure index 9fe7760822..51c5db53e6 100755 --- a/configure +++ b/configure @@ -7001,7 +7001,7 @@ cat > $TMPH <