Identify the machine filter when parsing command line

Signed-off-by: Stefan Marr <git@stefan-marr.de>
smarr · Sep 7, 2021 · ad72c8b · ad72c8b
1 parent a78e377
commit ad72c8b
Showing 1 changed file with 4 additions and 2 deletions.
diff --git a/rebench/rebench.py b/rebench/rebench.py
@@ -212,9 +212,11 @@ def shell_options(self):
     def determine_exp_name_and_filters(filters):
         exp_name = filters[0] if filters and (
             not filters[0].startswith("e:") and
-            not filters[0].startswith("s:")) else None
+            not filters[0].startswith("s:") and
+            not filters[0].startswith("m:")) else None
         exp_filter = [f for f in filters if (f.startswith("e:") or
-                                             f.startswith("s:"))]
+                                             f.startswith("s:") or
+                                             f.startswith("m:"))]
         return exp_name, exp_filter
 
     def _report_completion(self):