123456789101112131415161718192021222324252627282930 |
- 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
|