diff --git a/configure b/configure index 21ea16170a..cfd26f9041 100755 --- a/configure +++ b/configure @@ -3223,6 +3223,7 @@ cat > $TMPH <