# HG changeset patch
# User Tom Rodriguez <tom.rodriguez@oracle.com>
# Date 1427131755 25200
# Node ID 9a3c19db3015971e3a1dd2d89f140d96924abae9
# Parent  30769a7dc6192dfd4d14f3abf103b967f93b6a9d
Fix time reporting for mx gate -t foo

diff -r 30769a7dc619 -r 9a3c19db3015 mx/mx_graal.py
--- 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