| 426 |
|
|
| 427 |
#-- copy to $locDir and rename if necessary |
#-- copy to $locDir and rename if necessary |
| 428 |
sdir=$tdir |
sdir=$tdir |
| 429 |
if test -e $locDir"/"$tdir ; then |
# if test -e $locDir"/"$tdir ; then |
| 430 |
sdir=`echo $tdir | sed 's/_[0-9]*$//'` |
sdir=`echo $tdir | sed 's/_[0-9]*$//'` |
| 431 |
ad=0 |
ad=0 |
| 432 |
while test -e $locDir"/"$sdir"_"$ad ; do |
while test -e $locDir"/"$sdir"_"$ad ; do |
| 433 |
ad=$(( $ad + 1 )) |
ad=$(( $ad + 1 )) |
| 434 |
done |
done |
| 435 |
sdir=$sdir"_"$ad |
sdir=$sdir"_"$ad |
| 436 |
fi |
# fi |
| 437 |
if [ $PRT -ge 1 ] ; then |
if [ $PRT -ge 1 ] ; then |
| 438 |
if test "x$locDir" = "x$OUTDIR" |
if test "x$locDir" = "x$OUTDIR" |
| 439 |
then echo " '$sdir' ($prcM)" |
then echo " '$sdir' ($prcM)" |