diff --git a/configure b/configure index 090a938136..ee88da5d38 100755 --- a/configure +++ b/configure @@ -6412,7 +6412,7 @@ cat > $TMPH <