diff --git a/configure b/configure index 0cdf7a499a..ce5c188ab7 100755 --- a/configure +++ b/configure @@ -3797,7 +3797,7 @@ cat > $TMPH <