# HG changeset patch
# User Glenn Morris <rgm@gnu.org>
# Date 1178165533 0
# Node ID 5a10f80c77e7deb6861a94c9921479f5c90e62e5
# Parent  a84fb637884ad38b65e6f60ced136c85a81e4cc3
Tweak message about the absence of shell functions.

diff -r a84fb637884a -r 5a10f80c77e7 configure
--- a/configure	Thu May 03 04:11:38 2007 +0000
+++ b/configure	Thu May 03 04:12:13 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.
 }