# HG changeset patch
# User Jeff Hammel <jhammel@mozilla.com>
# Date 1357773714 28800
# Node ID efb29cff39a74f83356385d1f7fc7cf87e4055da
# Parent  0895e61753d1020144d7c6e587363986aae1bd1f
hopefully fix platforms issue

diff -r 0895e61753d1 -r efb29cff39a7 mozillatry.py
--- 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'))