| Index: tools/bots/editor.py
|
| diff --git a/tools/bots/editor.py b/tools/bots/editor.py
|
| index 43403da42813caf0c5944f9212257b67c7c7dd0f..4e4e02e96ec9e0740cf97759f7cb2eaab7d9796a 100755
|
| --- a/tools/bots/editor.py
|
| +++ b/tools/bots/editor.py
|
| @@ -35,6 +35,9 @@ def main():
|
| build_py = os.path.join('tools', 'build.py')
|
| architectures = ['ia32', 'x64']
|
| test_architectures = ['x64']
|
| + if sys.platform == 'win32':
|
| + # Our windows bots pull in only a 32 bit JVM.
|
| + test_architectures = ['ia32']
|
|
|
| for arch in architectures:
|
| with bot.BuildStep('Build Editor %s' % arch):
|
|
|