11
12
13
14
15
16
17
18
19
20
21
22
23
24
|
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
|
+
+
+
|
# Copyright (C) 2000 by Peter J. Gawthrop
###############################################################
## Version control history
###############################################################
## $Header$
## $Log$
## Revision 1.244 2000/05/19 14:19:46 peterg
## Added library path for representations
##
## Revision 1.243 2000/05/19 11:36:36 peterg
## Added logic rep.
##
## Revision 1.242 2000/05/18 20:12:02 peterg
## Version 4.2
##
## Revision 1.241 2000/05/16 11:42:14 peterg
|
1480
1481
1482
1483
1484
1485
1486
1487
1488
1489
1490
1491
1492
1493
1494
1495
|
1483
1484
1485
1486
1487
1488
1489
1490
1491
1492
1493
1494
1495
1496
1497
1498
1499
1500
|
+
-
-
+
+
+
|
else
filename=$1_$2.$3
fi
if [ -f "$filename" ]; then
echo $filename exists
else
if [ -n "$Verbose" ]; then
echo make -f $2_rep.make "SYS=$1" "LANG=$3" "ARG=$4"
make -f $2_rep.make "SYS=$1" "LANG=$3" "ARG=$"
echo make -s -f $2_rep.make "SYS=$1" "LANG=$3" "ARG=$4"
fi
make -s -f $2_rep.make "SYS=$1" "LANG=$3" "ARG=$"
if [ -n "$4" ]; then
echo Copying $1_$2$__ARGS.ps
cp $1_$2$__ARGS.ps ..
fi
fi
exit
fi
|