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