annotate src/toolcheck @ 9451:afe1b7773181

Added tag v7.4.2006 for changeset 073aebdba121968dd2c8bc83d150326b0f9f4d37
author Christian Brabandt <cb@256bit.org>
date Sat, 09 Jul 2016 15:30:05 +0200
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