6a7bd04dec
Currently necessary to install the --prefix-patches for ORTE. Used in ompi_cronjob.sh This commit was SVN r6913.