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