diff --git a/configure b/configure index c7d889d16f..dd0a65e678 100755 --- a/configure +++ b/configure @@ -6144,7 +6144,7 @@ cat > $TMPH <