12
13
14
15
16
17
18
19
20
21
22
23
24
25
|
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
|
+
+
+
+
|
###############################################################
## Version control history
###############################################################
## $Id$
##
## $Log$
## Revision 1.28 2001/02/05 17:19:52 gawthrop
## Now gives unique names to the states of multiports. Second name
## onwards labeled with port number
##
## Revision 1.27 2000/12/05 12:09:56 peterg
## Changed function name to name()
##
## Revision 1.26 2000/12/05 09:04:54 peterg
## *** empty log message ***
##
## Revision 1.25 2000/12/01 14:51:26 peterg
|
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
|
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
|
-
+
|
cat $infofile
fi
if [ -z "$partition" ]; then
## Don't partition
# Create the composite ese file
cat $1_ese.r $1_*_ese.r > $1_ese.tmp 2>> /dev/null
cat $1_ese.r $1_*_ese.r $1_modpar.r > $1_ese.tmp 2>> /dev/null
mv $1_ese.tmp $1_ese.r
# Zap the sub ese files
rm -f $1_*_ese.r
echo "END;" >> $1_ese.r
|