${EXEC} ${PLATFORMTMP} ${APPLICATIONTMP}
echo "[$0] cleaning up temp files"
if [ -z "${PLATFORM}" ]; then
rm ${PLATFORMTMP}
fi
${EXEC} ${PLATFORMTMP} ${APPLICATIONTMP}
echo "[$0] cleaning up temp files"
if [ -z "${PLATFORM}" ]; then
rm ${PLATFORMTMP}
fi