From 065d4b2986a14f1241b87751d7507e3e4b4c4d1c Mon Sep 17 00:00:00 2001
From: degomme <degomme@localhost.localdomain>
Date: Tue, 18 Mar 2014 16:13:37 +0100
Subject: [PATCH 1/1] since guard for stack size has been implemented, this has
 become redundant

---
 src/smpi/smpirun.in | 8 --------
 1 file changed, 8 deletions(-)

diff --git a/src/smpi/smpirun.in b/src/smpi/smpirun.in
index bf5607ef7c..90c0d1e4ce 100755
--- a/src/smpi/smpirun.in
+++ b/src/smpi/smpirun.in
@@ -426,14 +426,6 @@ fi
 ${EXEC} ${TRACEOPTIONS} ${SIMOPTS} ${PLATFORMTMP} ${APPLICATIONTMP}
 status=$?
 
-if [ ${status} = 139 ]; then
-    cat >&2 <<EOF
-ERROR: A segmentation fault was triggered.
-A common cause in SimGrid may be the use of a too small stack size for the simulated processes (default 8192 KiB).
-Please see contexts/stack_size parameter, or http://simgrid.org/simgrid/latest/doc/options.html#options_virt_stacksize
-EOF
-fi
-
 if [ -z "${KEEP}" ] ; then
    if [ -z "${PLATFORM}" ]; then
 	rm ${PLATFORMTMP}
-- 
2.20.1