updating smpirun to use new tracing option (otherwise nothing is traced)

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/simgrid/simgrid/trunk@8620 48e7efb5-ca39-0410-a469-dd3cf9ba447f

diff --git a/src/smpi/smpirun.in b/src/smpi/smpirun.in
index 6e5f71b..df30a6e 100755 (executable)
--- a/src/smpi/smpirun.in
+++ b/src/smpi/smpirun.in
@@ -199,7 +199,7 @@ APPLICATIONFOOT
 
 ##---------------------- SMPI TRACING OPTIONS ---------------------------------
   if [ -n "${TRACEOPT}" ]; then
 
 ##---------------------- SMPI TRACING OPTIONS ---------------------------------
   if [ -n "${TRACEOPT}" ]; then

-    TRACEOPTIONS="--cfg=tracing/filename:${TRACEOPT} --cfg=tracing/smpi:1 --cfg=tracing/platform:1"
+    TRACEOPTIONS="--cfg=tracing:1 --cfg=tracing/filename:${TRACEOPT} --cfg=tracing/smpi:1 --cfg=tracing/platform:1"

   else
     TRACEOPTIONS=""
   fi
   else
     TRACEOPTIONS=""
   fi