Bram Moolenaar | 071d427 | 2004-06-13 20:20:40 +0000 | [diff] [blame] | 1 | #!/bin/sh |
| 2 | # toolcheck -- check for tools that have severe bugs. Good that all the buggy |
| 3 | # tools identify by version numbers. This is the spirit of GNU :-) |
| 4 | # |
| 5 | # 24.7.95 jw. |
| 6 | |
| 7 | retval=0 |
| 8 | reply="`sh -version -c exit 2>&1 < /dev/null`" |
| 9 | case "$reply" in |
| 10 | GNU*1.14.3*) |
| 11 | echo "- sh is '$reply'"; |
| 12 | echo " CAUTION: This shell has a buggy 'trap' command."; |
| 13 | echo " The configure script may fail silently."; |
| 14 | retval=1; |
| 15 | ;; |
| 16 | GNU*) |
| 17 | echo "- sh is '$reply' - probably OK."; |
| 18 | ;; |
| 19 | *) ;; |
| 20 | esac |
| 21 | |
| 22 | reply="`sed --version 2>&1 < /dev/null`" |
| 23 | case "$reply" in |
| 24 | GNU\ sed\ version\ 2.0[34]) |
| 25 | echo "- sed is '$reply'"; |
| 26 | echo " CAUTION: This sed cannot configure screen properly." |
| 27 | retval=1; |
| 28 | ;; |
| 29 | GNU\ sed\ version\ 2.05|GNU\ sed\ version\ 2.03\ kevin) |
| 30 | echo "- sed is '$reply' - good."; |
| 31 | ;; |
| 32 | GNU*) echo "- sed is '$reply'."; |
| 33 | ;; |
| 34 | *) ;; |
| 35 | esac |
| 36 | exit $retval |