--- tla-tools/tla-cvs-sync.shpp.vns	2004-10-04 16:00:52 +0400

+++ tla-tools/tla-cvs-sync.shpp	2004-10-04 17:50:49 +0400

@@ -323,11 +323,13 @@

 }

 # Always start by making sure we're as up-to-date as possible from CVS

+CVS=cvs

+SVN=svn

 echo "* updating from $Peer"

 CVS_UPDATES="$TMP_PFX.cvs-updates"

 case $PEER in

-  cvs)  cvs -q update -d -P > "$CVS_UPDATES"; CVS_UPDATE_STATUS=$?;;

-  svn)  svn -q update       > "$CVS_UPDATES"; CVS_UPDATE_STATUS=$?;;

+  cvs)  $CVS -q update -d -P > "$CVS_UPDATES"; CVS_UPDATE_STATUS=$?;;

+  svn)  $SVN -q update       > "$CVS_UPDATES"; CVS_UPDATE_STATUS=$?;;

 esac

 # If "$CVS_UPDATES" doesn't exist, it probably means the cvs update was