diff --git a/configure b/configure index 4738523ab9..7fb040de01 100755 --- a/configure +++ b/configure @@ -212,8 +212,8 @@ solving the problem. EOF else cat <