# HG changeset patch # User Nick Roberts # Date 1179693634 0 # Node ID b0ab0f681d2d0c5b7cacb7d0f4255b2afc13d2f6 # Parent c68d8adfd89747696e9550397231e9517e965188 Replace text inadvertantly removed by unpatched autoconf. diff -r c68d8adfd897 -r b0ab0f681d2d configure --- a/configure Sun May 20 20:29:43 2007 +0000 +++ b/configure Sun May 20 20:40:34 2007 +0000 @@ -412,10 +412,10 @@ fi test \$exitcode = 0") || { - echo No shell found that supports shell functions. - echo Please tell autoconf@gnu.org about your system, - echo including any error possibly output before this - echo message + echo Please tell bug-autoconf@gnu.org about your system, + echo including any error possibly output before this message. + echo This can help us improve future autoconf versions. + echo Configuration will now proceed without shell functions. }