1515 |
# Check whether there are "extra runs" for this testdir |
# Check whether there are "extra runs" for this testdir |
1516 |
extra_runs= |
extra_runs= |
1517 |
if test "x$NORUN" = xf ; then |
if test "x$NORUN" = xf ; then |
1518 |
ex_run_dirs=`( cd $dir ; echo $inputdir.* )` |
ex_run_dirs=`( cd $dir ; ls -d $inputdir.* 2> /dev/null )` |
1519 |
fi |
fi |
1520 |
#echo "ex_run_dirs='$ex_run_dirs'" |
#echo "ex_run_dirs='$ex_run_dirs'" |
1521 |
for exd in $ex_run_dirs ; do |
for exd in $ex_run_dirs ; do |
1522 |
name=`echo $exd | sed -e "s/$inputdir\.//"` |
name=`echo $exd | sed -e "s/$inputdir\.//"` |
1523 |
refExOut=`echo $ref_outp | sed "s/\./.${name}./"` |
refExOut=`echo $ref_outp | sed "s/\./.${name}./"` |
1524 |
outf="$dir/results/$refExOut" |
outf="$dir/results/$refExOut" |
|
#if test -f $outf -a -r $outf ; then |
|
1525 |
if test -r $outf -o -r ${outf}.gz ; then |
if test -r $outf -o -r ${outf}.gz ; then |
1526 |
if test "x$MULTI_THREAD" = "xt" ; then |
if test "x$MULTI_THREAD" = "xt" ; then |
1527 |
if test -r $dir"/"$exd"/eedata.mth" ; then |
if test -r $dir"/"$exd"/eedata.mth" ; then |