| Index: tools/bots/pub.py
|
| diff --git a/tools/bots/pub.py b/tools/bots/pub.py
|
| index cdd8a8b2b975934204c27c2cfc03d1eeedc5aca9..7f177e073b6b16c2cb5651d9858bf92fc4cc7a26 100755
|
| --- a/tools/bots/pub.py
|
| +++ b/tools/bots/pub.py
|
| @@ -33,7 +33,7 @@ def PubConfig(name, is_buildbot):
|
| mode = 'release'
|
| if system == 'win': system = 'windows'
|
|
|
| - return bot.BuildInfo('none', 'vm', mode, system, checked=True)
|
| + return bot.BuildInfo('none', 'vm', mode, system, checked=True, arch='x64')
|
|
|
| def PubSteps(build_info):
|
| pub_location = os.path.join('third_party', 'pkg', 'pub')
|
|
|