+ if [ -n "${TRIVA}" ]; then
+ TRIVAOPTIONS="--cfg=triva/categorized:smpi_cat.plist --cfg=triva/uncategorized:smpi_uncat.plist"
+ else
+ TRIVAOPTIONS=""
+ fi
+##---------------------- end SMPI TRACING OPTIONS ---------------------------------
+
+export SMPI_GLOBAL_SIZE=${NUMPROCS}
+if [ -n "${KEEP}" ] ; then
+ echo ${EXEC} ${SIMOPTS} ${TRACEOPTIONS} ${TRIVAOPTIONS} ${PLATFORMTMP} ${APPLICATIONTMP}
+fi
+${EXEC} ${SIMOPTS} ${TRACEOPTIONS} ${TRIVAOPTIONS} ${PLATFORMTMP} ${APPLICATIONTMP}
+
+if [ -z "${KEEP}" ] ; then
+ if [ -z "${PLATFORM}" ]; then
+ rm ${PLATFORMTMP}
+ fi
+ rm ${APPLICATIONTMP}