#! /bin/csh

/tools/bin/ssh-agent -c >& /tmp/ssh-push;
source /tmp/ssh-push;
/tools/bin/ssh-add /u/cvsbot/.ssh_pushkey/identity;