| 85 |
color="#bbffdd" |
color="#bbffdd" |
| 86 |
ncolor="#bbddff" |
ncolor="#bbddff" |
| 87 |
|
|
| 88 |
MACHINES="faulks meander lagoon harbor dickens danton aces" |
MACHINES="faulks meander lagoon aces dickens danton beagle harbor" |
| 89 |
MACHINES="$MACHINES beagle columbia pleiades iblade rays solssrv solasrv sx8" |
MACHINES="$MACHINES columbia pleiades iblade rays solssrv solasrv sx8" |
| 90 |
MACHINES="$MACHINES bigred starp" |
MACHINES="$MACHINES trane dodongo dokdo bigred" |
| 91 |
|
|
| 92 |
( cd $INDIR ; ls -1 -t */summary.txt | sed 's/\/summary.txt//' ) > ./dir_all |
( cd $INDIR ; ls -1 -t */summary.txt | sed 's/\/summary.txt//' ) > ./dir_all |
| 93 |
|
|
| 139 |
RESTART=0 |
RESTART=0 |
| 140 |
NOI3E=0 |
NOI3E=0 |
| 141 |
MTH=0 |
MTH=0 |
| 142 |
|
UR4=0 |
| 143 |
if test -r $dir/summary.txt ; then |
if test -r $dir/summary.txt ; then |
| 144 |
comm=`grep 'ADJOINT=true' $dir/summary.txt 2>/dev/null` |
comm=`grep 'ADJOINT=true' $dir/summary.txt 2>/dev/null` |
| 145 |
eval $comm |
eval $comm |
| 146 |
RESTART=`grep -c 'test 2+2=4 summary' $dir/summary.txt` |
RESTART=`grep -c 'test 2+2=4 summary' $dir/summary.txt` |
| 147 |
NOI3E=`grep -c "^run: .*testreport.* '*-noieee'*" $dir/summary.txt` |
NOI3E=`grep -c "^run: .*testreport.* '*-noieee'*" $dir/summary.txt` |
| 148 |
MTH=`grep -c "^run: .*testreport.* -mth " $dir/summary.txt` |
MTH=`grep -c "^run: .*testreport.* -mth " $dir/summary.txt` |
| 149 |
|
UR4=`grep -c "^run: .*testreport.* -use_r4 " $dir/summary.txt` |
| 150 |
|
if test "x$UR4" = x0 ; then |
| 151 |
|
UR4=`grep -c "^run: .*testreport.* -ur4 " $dir/summary.txt` |
| 152 |
|
fi |
| 153 |
fi |
fi |
| 154 |
if test "x$RESTART" = x0 ; then |
if test "x$RESTART" = x0 ; then |
| 155 |
kind="forward" |
kind="forward" |
| 157 |
else |
else |
| 158 |
kind="restart" |
kind="restart" |
| 159 |
fi |
fi |
| 160 |
|
if test "x$UR4" = x1 ; then |
| 161 |
|
OPTFILE="${OPTFILE}.use_r4" |
| 162 |
|
fi |
| 163 |
if test "x$MTH" = x1 ; then |
if test "x$MTH" = x1 ; then |
| 164 |
yy=`echo $OPTFILE | grep -c '+mth$'` |
yy=`echo $OPTFILE | grep -c '+mth$'` |
| 165 |
if test $yy = 0 ; then OPTFILE="${OPTFILE}+mth" ; fi |
if test $yy = 0 ; then OPTFILE="${OPTFILE}+mth" ; fi |