comparison 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
comparison
equal deleted inserted replaced
20011:30769a7dc619 20012:9a3c19db3015
1432 filters = None 1432 filters = None
1433 1433
1434 def __init__(self, title, tasks=None): 1434 def __init__(self, title, tasks=None):
1435 self.tasks = tasks 1435 self.tasks = tasks
1436 self.title = title 1436 self.title = title
1437 self.skipped = Task.filters is not None and not any([f in title for f in Task.filters]) 1437 self.skipped = tasks is not None and Task.filters is not None and not any([f in title for f in Task.filters])
1438 if not self.skipped: 1438 if not self.skipped:
1439 self.start = time.time() 1439 self.start = time.time()
1440 self.end = None 1440 self.end = None
1441 self.duration = None 1441 self.duration = None
1442 mx.log(time.strftime('gate: %d %b %Y %H:%M:%S: BEGIN: ') + title) 1442 mx.log(time.strftime('gate: %d %b %Y %H:%M:%S: BEGIN: ') + title)