This will only work for linux, probably, but shouldn't break other systems
${EXEC} ${TRACEOPTIONS} ${SIMOPTS} ${PLATFORMTMP} ${APPLICATIONTMP}
status=$?
${EXEC} ${TRACEOPTIONS} ${SIMOPTS} ${PLATFORMTMP} ${APPLICATIONTMP}
status=$?
+if [[ $status -eq 139 ]]; then echo "ERROR: A segmentation fault was triggered. A common in simgrid cause may be the use of a too small stack size for the simulated processes (default 128KB), please see contexts/stack_size parameter"; fi
+
if [ -z "${KEEP}" ] ; then
if [ -z "${PLATFORM}" ]; then
rm ${PLATFORMTMP}
if [ -z "${KEEP}" ] ; then
if [ -z "${PLATFORM}" ]; then
rm ${PLATFORMTMP}