Index: tools/nanobench_flags.py |
diff --git a/tools/nanobench_flags.py b/tools/nanobench_flags.py |
index 906137247bb1dd8f21b764f2a6d2a3e901b08940..685b30260051a18a04bc15aa1b45a2d1ffb1b507 100755 |
--- a/tools/nanobench_flags.py |
+++ b/tools/nanobench_flags.py |
@@ -27,7 +27,7 @@ def lineno(): |
cov_start = lineno()+1 # We care about coverage starting just past this def. |
def get_args(bot): |
- args = [] |
+ args = ['--pre_log'] |
if 'GPU' in bot: |
args.append('--images') |