diff options
| -rwxr-xr-x | configure | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/configure b/configure index b6214d4e61e..1e0c418ed34 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. } |