| Index: tools/bots/pub.py
|
| diff --git a/tools/bots/pub.py b/tools/bots/pub.py
|
| index aeed58819c691a9ce1bf474197e4de8919dec8e0..98ae6720c638066dd22c9995d510b506d42ffdf5 100755
|
| --- a/tools/bots/pub.py
|
| +++ b/tools/bots/pub.py
|
| @@ -56,7 +56,7 @@ def PubSteps(build_info):
|
| common_args.append('-j1')
|
| if build_info.mode == 'release':
|
| bot.RunTest('pub and pkg ', build_info,
|
| - common_args + ['pub', 'pkg', 'docs'],
|
| + common_args + ['pub', 'pkg', 'docs', 'pkg_tested'],
|
| swallow_error=True)
|
| else:
|
| # Pub tests currently have a lot of timeouts when run in debug mode.
|
|
|