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 7retval=0 8reply="`sh -version 2>&1 < /dev/null | sed q`" 9case "$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*1.14.2*|GNU*1.14.4*|GNU*1.13.*) 17 echo "- sh is '$reply' - good."; 18 ;; 19 GNU*) echo "- sh is '$reply'."; 20 ;; 21 *) ;; 22esac 23 24reply="`sed --version 2>&1 < /dev/null | sed q`" 25case "$reply" in 26 GNU\ sed\ version\ 2.0[34]) 27 echo "- sed is '$reply'"; 28 echo " CAUTION: This sed cannot configure screen properly." 29 retval=1; 30 ;; 31 GNU\ sed\ version\ 2.05|GNU\ sed\ version\ 2.03\ kevin) 32 echo "- sed is '$reply' - good."; 33 ;; 34 GNU*) echo "- sed is '$reply'."; 35 ;; 36 *) ;; 37esac 38 39if [ "$retval" != 0 ]; then 40 echo " ***********************************************************" 41 echo " Please fix the above problem before reporting a screen bug!" 42 echo " ***********************************************************" 43fi 44exit $retval 45