Index: tools/dm_flags.py |
diff --git a/tools/dm_flags.py b/tools/dm_flags.py |
index 8d74450dfc23cd69e0a48d215ae569ac83afa51c..be348bc680c61d87bc1efc01ca50b57bd42ad059 100755 |
--- a/tools/dm_flags.py |
+++ b/tools/dm_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'] |
configs = ['565', '8888', 'gpu'] |