#!/bin/sh
. cvs-tools-conf
dir=`basename \`pwd\``
parent=`dirname \`pwd\``
r=
[ "$parent" = "$CVS_TOOLS_LOCAL" -o "$parent" = "$CVS_TOOLS_CHANGES" ] &&
	r=" -r $dir"
echo cvs co$r "$@"
cvs co$r "$@"