diff --git a/configure b/configure index 90852008f1..55b941b3b5 100755 --- a/configure +++ b/configure @@ -5693,7 +5693,7 @@ cat > $TMPH <