From fe64101d1997dd7fc909d0f2fc9b49edd5bc6ba8 Mon Sep 17 00:00:00 2001 From: Arnaud Giersch Date: Tue, 18 Mar 2014 09:26:26 +0100 Subject: [PATCH] Cosmetics. --- src/smpi/smpirun.in | 8 ++++++-- 1 file changed, 6 insertions(+), 2 deletions(-) diff --git a/src/smpi/smpirun.in b/src/smpi/smpirun.in index 9ba0724359..bf5607ef7c 100755 --- a/src/smpi/smpirun.in +++ b/src/smpi/smpirun.in @@ -426,9 +426,13 @@ fi ${EXEC} ${TRACEOPTIONS} ${SIMOPTS} ${PLATFORMTMP} ${APPLICATIONTMP} status=$? -if [ ${status} = 139 ]; then echo "ERROR: A segmentation fault was triggered. +if [ ${status} = 139 ]; then + cat >&2 <