- echo " <prop id=\"smpi_replay\" value=\"true\"/>" >> ${APPLICATIONTMP}
- if [ ${NUMTRACES} -gt 1 ]; then
- echo " <argument value=\"$(echo $hosttraces|cut -d' ' -f$j)\"/>" >> ${APPLICATIONTMP}
- else
- echo " <argument value=\"$(echo $hosttraces|cut -d' ' -f1)\"/>" >> ${APPLICATIONTMP}
+ echo " <prop id=\"smpi_replay\" value=\"true\"/>"
+ if [ "${NUMTRACES}" -gt 1 ]; then
+ # Give each process its trace file (as an argument)
+ echo " <argument value=\"$(echo "$hosttraces"|cut -d' ' -f$j)\"/>"
+ elif [ ${i} = 0 ]; then
+ # Give the shared trace file to rank 0 (as a property)
+ echo " <prop id=\"tracefile\" value=\"$(echo "$hosttraces"|cut -d' ' -f1)\"/>"