diff options
author | Alon Zakai <alonzakai@gmail.com> | 2014-01-07 10:42:35 -0800 |
---|---|---|
committer | Alon Zakai <alonzakai@gmail.com> | 2014-01-07 10:42:35 -0800 |
commit | 2fd4cb8bc9f5875c9adb0923dd01768b3b4eb85e (patch) | |
tree | 5f314b159ecef8c8f7c998bd317c788e866f00ed | |
parent | ad83790c2ddbe5f59242ecf0965d658c9ca6eb73 (diff) |
clean up test runner output
-rwxr-xr-x | tests/runner.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tests/runner.py b/tests/runner.py index 494297db..7f0cbaed 100755 --- a/tests/runner.py +++ b/tests/runner.py @@ -342,7 +342,7 @@ process(sys.argv[1]) if self.library_cache is not None: if cache and self.library_cache.get(cache_name): - print >> sys.stderr, '<load %s from cache> ' % cache_name, + print >> sys.stderr, '<load %s from cache> ' % cache_name generated_libs = [] for basename, contents in self.library_cache[cache_name]: bc_file = os.path.join(build_dir, cache_name + '_' + basename) |