diff --git a/configure b/configure index 2104232881..2f363547f2 100755 --- a/configure +++ b/configure @@ -5600,7 +5600,7 @@ cat > $TMPH <