#!/bin/bash # default mpiP config DEFAULT_MPIP="-c -d" # set mpiP config to default if not provided by user MPIP=${MPIP:-$DEFAULT_MPIP} export MPIP env LD_PRELOAD=libmpiP.so $@