| Index: tools/dom/scripts/dartdomgenerator.py
|
| diff --git a/tools/dom/scripts/dartdomgenerator.py b/tools/dom/scripts/dartdomgenerator.py
|
| index c0315df255fab90883a8ec9e92a640a2ef3b1189..6459e45c7e815df2f0d065a30e9a0ab7a70139f6 100755
|
| --- a/tools/dom/scripts/dartdomgenerator.py
|
| +++ b/tools/dom/scripts/dartdomgenerator.py
|
| @@ -287,6 +287,9 @@ def main():
|
| 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()
|
|
|
| @@ -346,13 +349,14 @@ def main():
|
| 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.')
|
|
|