Index: client/tests/kernbench/kernbench.py |
diff --git a/client/tests/kernbench/kernbench.py b/client/tests/kernbench/kernbench.py |
index a22a67130eb32014386336a1dbcbe3205d441801..ccde09ffe5ae4c811b7c3f3bc92eeceeb07eaeb0 100644 |
--- a/client/tests/kernbench/kernbench.py |
+++ b/client/tests/kernbench/kernbench.py |
@@ -49,10 +49,13 @@ class kernbench(test.test): |
self.threads = self.job.cpu_count()*2 |
self.kernel = self.__init_tree(version) |
- logfile = os.path.join(self.debugdir, 'build_log') |
- |
logging.info("Warmup run ...") |
- self.kernel.build_timed(self.threads, output=logfile) # warmup run |
+ logfile = os.path.join(self.debugdir, 'build_log') |
+ try: |
+ self.kernel.build_timed(self.threads, output=logfile) # warmup run |
+ finally: |
+ if os.path.exists(logfile): |
+ utils.system("gzip -9 '%s'" % logfile, ignore_status=True) |
def run_once(self): |