case $1 in .) ;; *) if [ -d $DESTDIR/$1 ] then : else mkdir $DESTDIR/$1 fi ;; esac p=$REPDIR/$1 dir=$1 if [ $# = 2 ] then if [ -f $2 ] then set `fgrep "$dir " $2` fi fi cd $DESTDIR/$dir if [ $# = 2 ] then RV $p $2 > /dev/null 2>&1 echo "$dir $2" else if `CV $p > /dev/null 2>&1` then echo "$dir `RC -i`" else echo "-- $dir CV failed for some reason" 1>&2 fi fi