Set 'device_cfg' parameter for iOS bots

tools/buildbot_spec.py

 #
 # Copyright 2015 Google Inc.
 #
 # Use of this source code is governed by a BSD-style license that can be
 # found in the LICENSE file.
 #
 
 #!/usr/bin/env python
 
 usage = '''
@@ skipping 226 matching lines @@
     if 'Link' in builder_dict['extra_config']:
       return 'link'
     if 'Daisy' in builder_dict['extra_config']:
       return 'daisy'
   elif builder_dict.get('os') == 'ChromeOS':
     return {
       'Link': 'link',
       'Daisy': 'daisy',
     }[builder_dict['model']]
 
+  # iOS.
+  if 'iOS' in builder_dict.get('os', ''):
+    return {
+      'iPad4': 'iPad4,1',
+    }[builder_dict['model']]
+
   return None
 
 
 cov_skip.extend([lineno(), lineno() + 1])
 def product_board(builder_dict):
   if 'Android' in builder_dict.get('os', ''):
     return {
       'AndroidOne':    None,  # TODO(borenet,kjlubick)
       'GalaxyS3':      'smdk4x12',
       'GalaxyS4':      None,  # TODO(borenet,kjlubick)
@@ skipping 137 matching lines @@
   if len(sys.argv) == 2 and sys.argv[1] == 'test':
     self_test()
     sys.exit(0)
 
   if len(sys.argv) != 3:
     print usage
     sys.exit(1)
 
   with open(sys.argv[1], 'w') as out:
     json.dump(get_builder_spec(sys.argv[2]), out)