X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/2cd53ff8c7476e05db7465c126fbdb77d609d3bf..3ec2b07053bb1769b1aa337a076ed76adf2d5d36:/src/smpi/smpirun.in

diff --git a/src/smpi/smpirun.in b/src/smpi/smpirun.in
index 734a837f0a..74d0471e1a 100755
--- a/src/smpi/smpirun.in
+++ b/src/smpi/smpirun.in
@@ -420,7 +420,7 @@ fi
 ${EXEC} ${TRACEOPTIONS} ${SIMOPTS} ${PLATFORMTMP} ${APPLICATIONTMP}
 status=$?
 
-if [[ $status -eq 139 ]]; then echo "ERROR: A segmentation fault was triggered. 
+if [ ${status} = 139 ]; then echo "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 128KiB).
 Please see contexts/stack_size parameter , or http://simgrid.org/simgrid/latest/doc/options.html#options_virt_stacksize "; fi