796 |
# output do not exist or is older than executable: |
# output do not exist or is older than executable: |
797 |
rm -f $OUTPUTFILE $RUNLOG ; touch $RUNLOG |
rm -f $OUTPUTFILE $RUNLOG ; touch $RUNLOG |
798 |
if test -f run.log_tmp ; then cat run.log_tmp >> $RUNLOG ; fi |
if test -f run.log_tmp ; then cat run.log_tmp >> $RUNLOG ; fi |
799 |
|
#--a quick and dirty trick to run with Divided Adjoint (DIVA): |
800 |
|
if test $KIND = 2 -a -x dorun.sh ; then |
801 |
|
./dorun.sh >> $RUNLOG 2>&1 |
802 |
|
else |
803 |
( eval $COMMAND ) >> $RUNLOG 2>&1 |
( eval $COMMAND ) >> $RUNLOG 2>&1 |
804 |
|
fi |
805 |
|
#---------- |
806 |
RETVAL=$? |
RETVAL=$? |
807 |
ENDVAL=`tail $OUTPUTFILE | grep -c 'PROGRAM MAIN: Execution ended Normally'` |
ENDVAL=`tail $OUTPUTFILE | grep -c 'PROGRAM MAIN: Execution ended Normally'` |
808 |
if [ $POSTCLEAN -eq 1 -a $ENDVAL -gt 0 ] ; then |
if [ $POSTCLEAN -eq 1 -a $ENDVAL -gt 0 ] ; then |