diff --git a/configure b/configure index 7f9fed31a4..ec4ff083dd 100755 --- a/configure +++ b/configure @@ -6141,7 +6141,7 @@ cat > $TMPH <