diff --git a/configure b/configure index da74ccd961..6710f85971 100755 --- a/configure +++ b/configure @@ -6362,7 +6362,7 @@ cat > $TMPH <