changeset 40:efb29cff39a7

hopefully fix platforms issue
author Jeff Hammel <jhammel@mozilla.com>
date Wed, 09 Jan 2013 15:21:54 -0800
parents 0895e61753d1
children 7fe9ca6f9fa7
files mozillatry.py
diffstat 1 files changed, 4 insertions(+), 0 deletions(-) [+]
line wrap: on
line diff
--- a/mozillatry.py	Wed Jan 09 15:19:12 2013 -0800
+++ b/mozillatry.py	Wed Jan 09 15:21:54 2013 -0800
@@ -167,6 +167,9 @@
         if (try_directory is None) or (not os.path.exists(try_directory)):
             raise ConfigurationError("mozilla-central directory does not exist: %s" % try_directory)
 
+        if not self.config.get('platforms'):
+            self.config['platforms'] = ['all']
+
     def configuration_files(self, options, args):
         configuration_files = configuration.Configuration.configuration_files(self, options, args)
         if not configuration_files:
@@ -188,6 +191,7 @@
     def try_syntax(self):
         return try_syntax(opt=self.config.get('opt'),
                           debug=self.config.get('debug'),
+                          platforms=self.config.get('platforms'),
                           unittests=self.config.get('unittests', []),
                           talos=self.config.get('talostests', []),
                           bug=self.config.get('bug'))