diff options
Diffstat (limited to 'etc/toolcheck')
| -rwxr-xr-x | etc/toolcheck | 44 |
1 files changed, 0 insertions, 44 deletions
diff --git a/etc/toolcheck b/etc/toolcheck deleted file mode 100755 index 1b8ee39..0000000 --- a/etc/toolcheck +++ /dev/null @@ -1,44 +0,0 @@ -#!/bin/sh -# toolcheck -- check for tools that have severe bugs. Good that all the buggy -# tools identify by version numbers. This is the spirit of GNU :-) -# -# 24.7.95 jw. - -retval=0 -reply="`sh -version 2>&1 < /dev/null | sed q`" -case "$reply" in - GNU*1.14.3*) - echo "- sh is '$reply'"; - echo " CAUTION: This shell has a buggy 'trap' command."; - echo " The configure script may fail silently."; - retval=1; - ;; - GNU*1.14.2*|GNU*1.14.4*|GNU*1.13.*) - echo "- sh is '$reply' - good."; - ;; - GNU*) echo "- sh is '$reply'."; - ;; - *) ;; -esac - -reply="`sed --version 2>&1 < /dev/null | sed q`" -case "$reply" in - GNU\ sed\ version\ 2.0[34]) - echo "- sed is '$reply'"; - echo " CAUTION: This sed cannot configure screen properly." - retval=1; - ;; - GNU\ sed\ version\ 2.05|GNU\ sed\ version\ 2.03\ kevin) - echo "- sed is '$reply' - good."; - ;; - GNU*) echo "- sed is '$reply'."; - ;; - *) ;; -esac - -if [ "$retval" != 0 ]; then - echo " ***********************************************************" - echo " Please fix the above problem before reporting a screen bug!" - echo " ***********************************************************" -fi -exit $retval |