diff --git a/configure b/configure index 89af70d72f..fb55e04ee7 100755 --- a/configure +++ b/configure @@ -7591,7 +7591,7 @@ cat > $TMPH <