| Index: tools/bots/pub.py
|
| diff --git a/tools/bots/pub.py b/tools/bots/pub.py
|
| index 640bd0b0ed6987aa6c2341ae1069c95fbbfdb101..1c5dff5aba7175ab0f4953e845fbe8178caafb40 100755
|
| --- a/tools/bots/pub.py
|
| +++ b/tools/bots/pub.py
|
| @@ -67,7 +67,8 @@ def PubSteps(build_info):
|
| bot.RunTest('pub and pkg', build_info, common_args + ['pkg', 'docs'],
|
| swallow_error=True)
|
| bot.RunTest('pub and pkg optimization counter threshold 5', build_info,
|
| - common_args + ['--append_logs', opt_threshold, 'pkg', 'docs'],
|
| + common_args + ['--copy-coredumps', '--append_logs',
|
| + opt_threshold, 'pkg', 'docs'],
|
| swallow_error=True)
|
|
|
| if build_info.mode == 'release':
|
|
|