diff --git a/configure b/configure index 9c013505f2..ffa407d53d 100755 --- a/configure +++ b/configure @@ -8191,7 +8191,7 @@ cat > $TMPH <