85 |
color="#bbffdd" |
color="#bbffdd" |
86 |
ncolor="#bbddff" |
ncolor="#bbddff" |
87 |
|
|
88 |
MACHINES="faulks meander aces acesgrid baudelaire dickens danton beagle harbor" |
MACHINES="faulks meander aces- acesgrid baudelaire dickens danton beagle harbor" |
89 |
MACHINES="$MACHINES pleiades iblade rays solasrv sx8" |
MACHINES="$MACHINES pleiades iblade rays solasrv sx8" |
90 |
MACHINES="$MACHINES trane dodongo dokdo stomp bigred" |
MACHINES="$MACHINES trane dodongo dokdo stomp bigred" |
91 |
|
|
107 |
for mname in $MACHINES ; do |
for mname in $MACHINES ; do |
108 |
|
|
109 |
echo " $mname" |
echo " $mname" |
110 |
|
sname=`echo $mname | sed 's/-$//'` |
111 |
|
|
112 |
dir_list=`grep $mname ./dir_all` |
dir_list=`grep $mname ./dir_all` |
113 |
echo -n "" > ./mlist |
echo -n "" > ./mlist |
223 |
URL="results/$PERIOD/$ldir" |
URL="results/$PERIOD/$ldir" |
224 |
cat <<EOF >>$OUTFILE |
cat <<EOF >>$OUTFILE |
225 |
<tr bgcolor="$color"> |
<tr bgcolor="$color"> |
226 |
<td height="0"> $mname </td> |
<td height="0"> $sname </td> |
227 |
<td> $optf </td> |
<td> $optf </td> |
228 |
<td> $kind </td> |
<td> $kind </td> |
229 |
<td> <a href="$res_url$URL">$DAY</a> </td> |
<td> <a href="$res_url$URL">$DAY</a> </td> |