579 |
exit 1 |
exit 1 |
580 |
fi |
fi |
581 |
SUMMARY="$DRESULTS/summary.txt" |
SUMMARY="$DRESULTS/summary.txt" |
582 |
|
echo -n "Start time: " >> $SUMMARY |
583 |
date > $SUMMARY |
date > $SUMMARY |
584 |
|
date > dfile |
585 |
cat << EOF >> $SUMMARY |
cat << EOF >> $SUMMARY |
586 |
T S U V |
T S U V |
587 |
G D M c m s m s m s m s |
G D M c m s m s m s m s |
748 |
|
|
749 |
done |
done |
750 |
|
|
751 |
rm tmp_cmpnum.f a.out |
echo -n "Start time: " >> $SUMMARY |
752 |
|
date -r dfile >> $SUMMARY |
753 |
|
echo -n "End time: " >> $SUMMARY |
754 |
|
date >> $SUMMARY |
755 |
|
|
756 |
|
rm tmp_cmpnum.f a.out dfile |
757 |
|
|
758 |
if test "x$CLEANUP" != xt ; then |
if test "x$CLEANUP" != xt ; then |
759 |
cat $SUMMARY |
cat $SUMMARY |