diff options
-rwxr-xr-x | tools/test.py | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/tools/test.py b/tools/test.py index 74bde14abf8..607a62e614b 100755 --- a/tools/test.py +++ b/tools/test.py @@ -101,6 +101,7 @@ class ProgressIndicator(object): # ...and then reraise the exception to bail out raise self.Done() + print "\r\nPlatform: {0} {1}".format(platform.system(), platform.release()) return not self.failed def RunSingle(self): |