#! /bin/sh
# $Id: petscmake,v 1.2 2000/11/07 04:48:40 bsmith Exp bsmith $ 
#
# Remote shells to a machine and runs make to compile the program
#
machine=$1
shift
arch=$1
shift
bopt=$1
shift
pdir=$1
shift
dir=$1
shift
echo "make BOPT=$bopt $*"
rsh $machine "cd $pdir/$dir ;  setenv PETSC_DIR $pdir ; setenv PETSC_ARCH $arch; make BOPT=$bopt $*"

