Restore manual change about absence of shell functions from 20070503,

lost in previous regeneration from configure.in.

diff --git a/configure b/configure
index 9dd401b4d12ff33d5adf57e58c86438e7b35e1c2..4e2af0b1e387a36031034cbb1f86051fef25d7c4 100755 (executable)
--- a/configure
+++ b/configure
@@ -412,10 +412,10 @@ else
 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.
 }