MC replay: check whether there is a deadlock after running the trace

[simgrid.git] / src / smpi / smpiff.in

diff --git a/src/smpi/smpiff.in b/src/smpi/smpiff.in
index a5e8ccf3ee5cfbb630bb3ea5758f0a5e610a14c7..805fe0f35057d675a554d356937bd898c486366f 100644 (file)
--- a/src/smpi/smpiff.in
+++ b/src/smpi/smpiff.in
@@ -128,7 +128,7 @@ while [ $# -gt 0 ]; do
             TRACE_CALL_LOCATION=1
             # This should be list_add FFLAGS but it's not possible
             # anymore: FFLAGS was already moved into CMDLINE above.
-            list_add_not_empty CMDLINE "-ffixed-line-length-none" "-cpp"
+            list_add CMDLINE "-ffixed-line-length-none" "-cpp"
             ;;
         -o)
             list_add CMDLINE "-o$1"