Index: /issm/trunk-jpl/externalpackages/petsc/install-3.5-hpc.sh
===================================================================
--- /issm/trunk-jpl/externalpackages/petsc/install-3.5-hpc.sh	(revision 18933)
+++ /issm/trunk-jpl/externalpackages/petsc/install-3.5-hpc.sh	(revision 18934)
@@ -23,5 +23,5 @@
  --prefix="$ISSM_DIR/externalpackages/petsc/install" \
  --PETSC_DIR="$ISSM_DIR/externalpackages/petsc/src" \
- --with-mpi-dir="/data/apps/mpi/openmpi-1.6.0/gcc/4.7.3/" \
+ --with-mpi-dir="/data/apps/mpi/openmpi-1.8.3/gcc/4.8.3/" \
  --known-mpi-shared-libraries=1 \
  --with-debugging=0 \