diff --git a/configure b/configure index e4c1c2478c..e13b7674cf 100755 --- a/configure +++ b/configure @@ -5748,7 +5748,7 @@ cat > $TMPH <