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 -c exit 2>&1 < /dev/null`" 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*) 17 echo "- sh is '$reply' - probably OK."; 18 ;; 19 *) ;; 20esac 21 22reply="`sed --version 2>&1 < /dev/null`" 23case "$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 *) ;; 35esac 36exit $retval 37