From 4827f21f5782d59c48f93a1024f0ca372a302a4b Mon Sep 17 00:00:00 2001 From: Glenn Morris Date: Fri, 18 May 2007 07:38:54 +0000 Subject: [PATCH] Restore manual change about absence of shell functions from 20070503, lost in previous regeneration from configure.in. --- configure | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/configure b/configure index 9dd401b4d12..4e2af0b1e38 100755 --- 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. } -- 2.39.5