| Index: client/tests/unixbench/unixbench.py
|
| diff --git a/client/tests/unixbench/unixbench.py b/client/tests/unixbench/unixbench.py
|
| index b3fe920c0507e85f59bc510af70698725cf2b633..9983cec59dbc013730251ec25310b93256975a37 100644
|
| --- a/client/tests/unixbench/unixbench.py
|
| +++ b/client/tests/unixbench/unixbench.py
|
| @@ -19,7 +19,7 @@ class unixbench(test.test):
|
|
|
| utils.system('patch -p1 < ../unixbench.patch')
|
| utils.system('patch -p1 < ../Makefile.patch')
|
| - utils.system('make')
|
| + utils.make()
|
| utils.system('rm pgms/select')
|
|
|
|
|
| @@ -34,7 +34,15 @@ class unixbench(test.test):
|
| % ((stepsecs,)*5)
|
|
|
| os.chdir(self.srcdir)
|
| - utils.system(vars + ' ./Run ' + args)
|
| + try:
|
| + utils.system(vars + ' ./Run ' + args)
|
| + finally:
|
| + times_path = os.path.join(self.resultsdir, 'times')
|
| + # The 'times' file can be needlessly huge as it contains warnings
|
| + # and error messages printed out by small benchmarks that are
|
| + # run in a loop. It can easily compress 100x in such cases.
|
| + if os.path.exists(times_path):
|
| + utils.system("gzip -9 '%s'" % (times_path,), ignore_status=True)
|
|
|
| report_path = os.path.join(self.resultsdir, 'report')
|
| self.report_data = open(report_path).readlines()[9:]
|
|
|