Use scenario result when < 9999 only

diff --git a/scripts/scenario.py b/scripts/scenario.py
index a7932d8e8ef5e754972a79f9c267a5f3407b5242..070ae8e91ad4c2c86d0d8050b58ddc31ba9b849a 100644 (file)
--- a/scripts/scenario.py
+++ b/scripts/scenario.py
@@ -92,7 +92,7 @@ def grep(what="time", grep_all=False):
     for s in scenarios:
         if s["fname"] not in filtered:
             filtered[s["fname"]] = []
-        if what in s:
+        if what in s and s[what] < 9999:
             filtered[s["fname"]].append(s[what])
         elif grep_all:
             filtered[s["fname"]].append(-1)