| Index: tools/create_sdk.py
|
| diff --git a/tools/create_sdk.py b/tools/create_sdk.py
|
| index dad929bdba1793e870cd2f53cb45ebf981264dfc..85ba81199f3c63498e9ef881ab16ffe9894cdcac 100755
|
| --- a/tools/create_sdk.py
|
| +++ b/tools/create_sdk.py
|
| @@ -44,7 +44,6 @@
|
| # ......dart_client.platform
|
| # ......dart_server.platform
|
| # ......dart_shared.platform
|
| -# ......dart2dart.platform
|
| # ......_internal/
|
| #.........spec.sum
|
| #.........strong.sum
|
| @@ -267,8 +266,7 @@ def Main():
|
| # Copy the platform descriptors.
|
| for file_name in ["dart_client.platform",
|
| "dart_server.platform",
|
| - "dart_shared.platform",
|
| - "dart2dart.platform"]:
|
| + "dart_shared.platform"]:
|
| copyfile(join(HOME, 'sdk', 'lib', file_name), join(LIB, file_name));
|
|
|
| # Copy libraries.dart to lib/_internal/libraries.dart for backwards
|
|
|