| Index: tools/bots/pub.py
|
| ===================================================================
|
| --- tools/bots/pub.py (revision 36416)
|
| +++ tools/bots/pub.py (working copy)
|
| @@ -48,14 +48,16 @@
|
| common_args.append('--builder-tag=%s' % build_info.builder_tag)
|
|
|
|
|
| - # Pub tests currently have a lot of timeouts when run in debug mode.
|
| - # See issue 18479
|
| - if build_info.mode == 'release':
|
| - bot.RunTest('pub', build_info,
|
| - common_args + ['pub', 'pkg', 'docs'])
|
| - else:
|
| - bot.RunTest('pub', build_info,
|
| - common_args + ['pkg', 'docs'])
|
| + testing_options = ['', '--vm-options=--optimization-counter-threshold=5']
|
| + for options in testing_options:
|
| + if build_info.mode == 'release':
|
| + bot.RunTest('pub and pkg %s' % options, build_info,
|
| + common_args + [options, 'pub', 'pkg', 'docs'])
|
| + else:
|
| + # Pub tests currently have a lot of timeouts when run in debug mode.
|
| + # See issue 18479
|
| + bot.RunTest('pub and pkg %s' % options, build_info,
|
| + common_args + [options, 'pkg', 'docs'])
|
|
|
| if build_info.mode == 'release':
|
| pkgbuild_build_info = bot.BuildInfo('none', 'vm', build_info.mode,
|
|
|