diff --git a/configure b/configure index 57ebb5c35f..e75aac0fdd 100755 --- a/configure +++ b/configure @@ -6146,7 +6146,7 @@ cat > $TMPH <