diff options
author | Glenn Morris <[email protected]> | 2007-05-03 04:12:13 +0000 |
---|---|---|
committer | Glenn Morris <[email protected]> | 2007-05-03 04:12:13 +0000 |
commit | b6985f2164c4f3b8d50feb06824e0224ac198fb3 (patch) | |
tree | 5e560fdfb0844b88ff138078a5e7914acd91e0b3 | |
parent | bdc663c229fc85a8bbddab3ce33cbcfae69aee41 (diff) |
Tweak message about the absence of shell functions.
-rwxr-xr-x | configure | 8 |
1 files changed, 4 insertions, 4 deletions
@@ -412,10 +412,10 @@ else fi test \$exitcode = 0") || { - echo No shell found that supports shell functions. - echo Please tell [email protected] about your system, - echo including any error possibly output before this - echo message + echo Please tell [email protected] 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. } |