Added switch to disable generating cached_patches.dart file (Dartium only).

tools/dom/scripts/dartdomgenerator.py

 #!/usr/bin/python
 # Copyright (c) 2011, the Dart project authors.  Please see the AUTHORS file
 # for details. All rights reserved. Use of this source code is governed by a
 # BSD-style license that can be found in the LICENSE file.
 
 """This is the entry point to create Dart APIs from the IDL database."""
 
 import css_code_generator
 import os
 import sys
@@ skipping 269 matching lines @@
                     help='Output all informational messages')
   parser.add_option('--examine', dest='examine_idls',
                     action='store_true', default=None,
                     help='Analyze IDL files')
   parser.add_option('--logging', dest='logging', type='int',
                     action='store', default=logging.NOTSET,
                     help='Level of logging 20 is Info, 30 is Warnings, 40 is Errors')
   parser.add_option('--gen-interop', dest='dart_js_interop',
                     action='store_true', default=False,
                     help='Use Javascript objects (dart:js) accessing the DOM in _blink')
+  parser.add_option('--no-cached-patches', dest='no_cached_patches',
+                    action='store_true', default=False,
+                    help='Do not generate the sdk/lib/js/cached_patches.dart file')
 
   (options, args) = parser.parse_args()
 
   current_dir = os.path.dirname(__file__)
   database_dir = os.path.join(current_dir, '..', 'database')
   logging.config.fileConfig(os.path.join(current_dir, 'logging.conf'))
   systems = options.systems.split(',')
 
   output_dir = options.output_dir or os.path.join(
       current_dir, '..', '..', utils.GetBuildDir(utils.GuessOS()),
@@ skipping 39 matching lines @@
 
   if 'htmldartium' in systems:
     _logger.info('Generating dartium single files.')
     file_generation_start_time = time.time()
 
     for library_name in HTML_LIBRARY_NAMES:
       GenerateSingleFile(
           os.path.join(dartium_output_dir, '%s_dartium.dart' % library_name),
           os.path.join('..', '..', '..', 'sdk', 'lib', library_name, 'dartium'))
 
-    # Blow away the cached_patches.dart needs to be re-generated for Dartium
-    # see tools/dartium/generate_patches.sh
-    cached_patches_filename = os.path.join('..', '..', '..', 'sdk', 'lib', 'js', 'dartium',
-                                           'cached_patches.dart')
-    cached_patches = open(cached_patches_filename, 'w')
-    cached_patches.write(CACHED_PATCHES);
-    cached_patches.close()
+    if (not(options.no_cached_patches)):
+      # Blow away the cached_patches.dart needs to be re-generated for Dartium
+      # see tools/dartium/generate_patches.sh
+      cached_patches_filename = os.path.join('..', '..', '..', 'sdk', 'lib', 'js', 'dartium',
+                                             'cached_patches.dart')
+      cached_patches = open(cached_patches_filename, 'w')
+      cached_patches.write(CACHED_PATCHES);
+      cached_patches.close()
 
   if '_blink' in systems:
     _logger.info('Generating dartium _blink file.')
     file_generation_start_time = time.time()
 
     GenerateSingleFile(
         os.path.join(dartium_output_dir, '%s_dartium.dart' % '_blink'),
         os.path.join('..', '..', '..', 'sdk', 'lib', '_blink', 'dartium'))
 
   print '\nGenerating single file %s seconds' % round(time.time() - file_generation_start_time, 2)
 
   end_time = time.time()
 
   print '\nDone (dartdomgenerator) %s seconds' % round(end_time - start_time, 2)
 
 if __name__ == '__main__':
   sys.exit(main())