diff options
Diffstat (limited to 'etc/toolcheck')
| -rwxr-xr-x | etc/toolcheck | 44 |
1 files changed, 44 insertions, 0 deletions
diff --git a/etc/toolcheck b/etc/toolcheck new file mode 100755 index 0000000..1b8ee39 --- /dev/null +++ b/etc/toolcheck @@ -0,0 +1,44 @@ +#!/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 |