diff --git a/configure b/configure index 43dc409fe6..965b4c71b8 100755 --- a/configure +++ b/configure @@ -7456,7 +7456,7 @@ cat > $TMPH <