#! /bin/csh
#
#   This is used by the script bin/maint/petscgoto it is not intended to be used directly
#
setenv PETSC_DIR $1
setenv PETSC_ARCH $2
setenv USER $3
cd $PETSC_DIR
tcsh

