| Index: tools/copy_dart.py
|
| diff --git a/tools/copy_dart.py b/tools/copy_dart.py
|
| index 9918e2ec0f0b1047d1fb1bfdd17d2e26c6900dea..6bd57256e18c302330cbbdf6549fb31cb56769d3 100755
|
| --- a/tools/copy_dart.py
|
| +++ b/tools/copy_dart.py
|
| @@ -106,11 +106,6 @@ def main(outdir = None, *inputs):
|
| or dirname(lib).endswith('dom/src')):
|
| continue
|
|
|
| - if lib.endswith('json/json.dart'):
|
| - # TODO(jmesserly): Dartium interprets "json.dart" as "dart_json.dart",
|
| - # so we need that add dart_json.dart here. This is hacky.
|
| - lib = lib.replace('json.dart', 'dart_json.dart')
|
| -
|
| library = parseLibrary(lib)
|
|
|
| # Ensure output directory exists
|
|
|