# HG changeset patch
# User Richard M. Stallman <rms@gnu.org>
# Date 1179684349 0
# Node ID ab44c416a474fafe8a6b05eb1a8de095ef467fa1
# Parent  c76e627bef0b3eb2ecbc044a0ad568168e477566
Restore the bug-autoconf patch.

diff -r c76e627bef0b -r ab44c416a474 configure
--- a/configure	Sun May 20 07:47:03 2007 +0000
+++ b/configure	Sun May 20 18:05:49 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.
 }