From e2af0d84aea271ea0a95ccdb6eecb95fd8d7870b Mon Sep 17 00:00:00 2001
From: Arnaud Giersch <arnaud.giersch@iut-bm.univ-fcomte.fr>
Date: Fri, 30 Nov 2012 15:59:14 +0100
Subject: [PATCH 1/1] Print a message and exit if file was not found.

---
 src/smpi/smpirun.in | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/src/smpi/smpirun.in b/src/smpi/smpirun.in
index cb94bd6b31..bdede7a838 100755
--- a/src/smpi/smpirun.in
+++ b/src/smpi/smpirun.in
@@ -236,9 +236,12 @@ fi
 
 if [ "${EXTOPT}" = "smpi_replay" ]; then
   APP_TRACES=$1;
-  if [ -n "${APP_TRACES}" ] && [ -f ${APP_TRACES} ]; then
+  if [ -n "${APP_TRACES}" ] && [ -f "${APP_TRACES}" ]; then
      hosttraces=(`cat ${APP_TRACES} | tr \\\n " "`)
      NUMTRACES=`cat ${APP_TRACES} | wc -l`
+  else
+     printf "File not found: %s\n", "${APP_TRACES:-\${APP_TRACES}}" >&2
+     exit 1
   fi
 fi
 
-- 
2.20.1