diff configure @ 81011:b0ab0f681d2d

Replace text inadvertantly removed by unpatched autoconf.

--- 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 [e-mail] about your system,
-  echo including any error possibly output before this
-  echo message
+  echo Please tell [e-mail] 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.
 }