Index: tools/dm_flags.py |
diff --git a/tools/dm_flags.py b/tools/dm_flags.py |
index 47a3b25a7c60d78b3afc290355624e9291a53b4b..f93e511b9d09aa568055733dc98d256bb9a8c754 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 = ['--threads','0'] |
# 32-bit desktop bots tend to run out of memory, because they have relatively |
# far more cores than RAM (e.g. 32 cores, 3G RAM). Hold them back a bit. |