| 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.
|
|
|