| 269 |
comm=`grep 'ADJOINT=true' $dir/summary.txt 2>/dev/null` |
comm=`grep 'ADJOINT=true' $dir/summary.txt 2>/dev/null` |
| 270 |
eval $comm |
eval $comm |
| 271 |
RESTART=`grep -c 'test 2+2=4 summary' $dir/summary.txt` |
RESTART=`grep -c 'test 2+2=4 summary' $dir/summary.txt` |
| 272 |
NOI3E=`grep -c "^run: .*testreport.* '*-noieee'* " $dir/summary.txt` |
NOI3E=`grep -c "^run: .*testreport.* '*-noieee'*" $dir/summary.txt` |
| 273 |
MTH=`grep -c "^run: .*testreport.* -mth " $dir/summary.txt` |
MTH=`grep -c "^run: .*testreport.* -mth " $dir/summary.txt` |
| 274 |
fi |
fi |
| 275 |
if test "x$RESTART" = x0 ; then |
if test "x$RESTART" = x0 ; then |