11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
|
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
|
+
+
+
+
+
-
-
+
+
+
+
|
# 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`
echo $1: `$1 --version | head -1`
else
echo $1: $2
fi
|