diff --git a/configure b/configure index 0a7ce31e09..6c1829ab8e 100755 --- a/configure +++ b/configure @@ -8230,7 +8230,7 @@ cat > $TMPH <