| 120 |
echo " done" |
echo " done" |
| 121 |
fi |
fi |
| 122 |
else |
else |
| 123 |
|
if test -d prev ; then |
| 124 |
|
#-- save previous summary: |
| 125 |
|
oldS=`ls -t ${new_dir}/verification/tr_${outDir}_*/summary.txt 2> /dev/null | head -1` |
| 126 |
|
if test "x$oldS" != x ; then cp -p -f $oldS prev/tr_out.$typ ; fi |
| 127 |
|
if test $tt != $typ ; then |
| 128 |
|
oldS=`ls -t ${new_dir}/verification/rs_${outDir}_*/summary.txt 2> /dev/null | head -1` |
| 129 |
|
if test "x$oldS" != x ; then cp -p -f $oldS prev/rs_out.$typ ; fi |
| 130 |
|
fi |
| 131 |
|
fi |
| 132 |
test -e $new_dir && rm -rf $new_dir |
test -e $new_dir && rm -rf $new_dir |
| 133 |
mkdir $new_dir |
mkdir $new_dir |
| 134 |
pushd $new_dir |
pushd $new_dir |
Parent Directory
| 
Revision Log
| 
Revision Graph
| 
Patch