11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
|
# Copyright (c) P.J.Gawthrop 1998
###############################################################
## Version control history
###############################################################
## $Id$
## $Log$
## Revision 1.2 1998/05/28 09:31:44 peterg
## Cosmetic changes
##
## Revision 1.1 1998/05/28 09:31:13 peterg
## Initial revision
##
###############################################################
if [ -z "$2" ]; then
echo $1: `$1 --version | head -1`
else
echo $1: $2
fi
|
>
>
>
<
>
|
>
>
>
>
>
|
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
|
# Copyright (c) P.J.Gawthrop 1998
###############################################################
## Version control history
###############################################################
## $Id$
## $Log$
## Revision 1.3 1999/12/20 02:08:38 peterg
## Added second arg option
##
## Revision 1.2 1998/05/28 09:31:44 peterg
## Cosmetic changes
##
## Revision 1.1 1998/05/28 09:31:13 peterg
## Initial revision
##
###############################################################
if [ -z "$2" ]; then
echo Trying $1 ...
ver=`$1 --version | head -1`
if [ -n "$ver" ]; then
echo is OK and has version $ver.
else
echo Either $1 does not exist or is not the GNU version.
fi
else
echo $1: $2
fi
|