2
TAR=${HOME}/tmp/gcl.tgz
5
if [ "$1" = "" ] ; then
6
make -f xbin/maketest make "TAR=${TAR}"
8
if [ "$1" = "fireant.ma.utexas.edu" ] ; then true; else
9
rcp ${TAR} $1:tmp/${TAR} ;fi
11
rsh $1 '(cd tmp ; test1 ${HOME} ${HOME}/tmp/gcl.tgz)' < /dev/null