annotate src/toolcheck @ 67:6b9e8f951af4

updated for version 7.0030
author vimboss
date Tue, 04 Jan 2005 21:31:43 +0000
parents 3fc0f57ecb91
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
7
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
1 #!/bin/sh
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
2 # toolcheck -- check for tools that have severe bugs. Good that all the buggy
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
3 # tools identify by version numbers. This is the spirit of GNU :-)
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
4 #
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
5 # 24.7.95 jw.
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
6
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
7 retval=0
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
8 reply="`sh -version -c exit 2>&1 < /dev/null`"
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
9 case "$reply" in
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
10 GNU*1.14.3*)
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
11 echo "- sh is '$reply'";
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
12 echo " CAUTION: This shell has a buggy 'trap' command.";
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
13 echo " The configure script may fail silently.";
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
14 retval=1;
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
15 ;;
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
16 GNU*)
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
17 echo "- sh is '$reply' - probably OK.";
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
18 ;;
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
19 *) ;;
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
20 esac
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
21
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
22 reply="`sed --version 2>&1 < /dev/null`"
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
23 case "$reply" in
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
24 GNU\ sed\ version\ 2.0[34])
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
25 echo "- sed is '$reply'";
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
26 echo " CAUTION: This sed cannot configure screen properly."
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
27 retval=1;
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
28 ;;
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
29 GNU\ sed\ version\ 2.05|GNU\ sed\ version\ 2.03\ kevin)
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
30 echo "- sed is '$reply' - good.";
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
31 ;;
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
32 GNU*) echo "- sed is '$reply'.";
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
33 ;;
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
34 *) ;;
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
35 esac
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
36 exit $retval