#!/bin/sh

export EXTRAE_HOME=@sub_PREFIXDIR@
${EXTRAE_HOME}/bin/mpi2prv -e pi *.mpit 

#!/bin/sh

export EXTRAE_HOME=@sub_PREFIXDIR@
${EXTRAE_HOME}/bin/mpi2prv -e pi -f TRACE.mpits

Fix small error that prevented generating the tracefile
Fix small error that prevented generating the tracefile

