+if [ -n "${KEEP}" ] ; then
+ echo ${EXEC} ${SIMOPTS} ${TRACEOPTIONS} ${PLATFORMTMP} ${APPLICATIONTMP}
+fi
+${EXEC} ${SIMOPTS} ${TRACEOPTIONS} ${PLATFORMTMP} ${APPLICATIONTMP}
+
+if [ -z "${KEEP}" ] ; then
+ if [ -z "${PLATFORM}" ]; then
+ rm ${PLATFORMTMP}
+ fi
+ rm ${APPLICATIONTMP}