# HG changeset patch
# User Glenn Morris <rgm@gnu.org>
# Date 1179473934 0
# Node ID 64e88cc500d96211bcc0477cd0cff574fe59a14d
# Parent  2054f6825314011d416f0288ffabba4a913021b9
Restore manual change about absence of shell functions from 20070503,
lost in previous regeneration from configure.in.

diff -r 2054f6825314 -r 64e88cc500d9 configure
--- a/configure	Fri May 18 02:39:28 2007 +0000
+++ b/configure	Fri May 18 07:38:54 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.
 }