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