Index: ../trunk-jpl/externalpackages/petsc/install-3.5-hpc.sh
===================================================================
--- ../trunk-jpl/externalpackages/petsc/install-3.5-hpc.sh	(revision 18692)
+++ ../trunk-jpl/externalpackages/petsc/install-3.5-hpc.sh	(revision 18693)
@@ -22,7 +22,7 @@
 ./config/configure.py \
  --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 \
  --with-valgrind=0 \
