diff mx/mx_graal.py @ 20012:9a3c19db3015

Fix time reporting for mx gate -t foo
author Tom Rodriguez <tom.rodriguez@oracle.com>
date Mon, 23 Mar 2015 10:29:15 -0700
parents 5aa0cb2914f8
children af1e4c16b00f
line wrap: on
line diff
--- a/mx/mx_graal.py	Mon Mar 23 10:28:36 2015 -0700
+++ b/mx/mx_graal.py	Mon Mar 23 10:29:15 2015 -0700
@@ -1434,7 +1434,7 @@
     def __init__(self, title, tasks=None):
         self.tasks = tasks
         self.title = title
-        self.skipped = Task.filters is not None and not any([f in title for f in Task.filters])
+        self.skipped = tasks is not None and Task.filters is not None and not any([f in title for f in Task.filters])
         if not self.skipped:
             self.start = time.time()
             self.end = None