| Index: tools/create_sdk.py
|
| diff --git a/tools/create_sdk.py b/tools/create_sdk.py
|
| index bdb69f237ef15a66076d80487c13f98e9cddcbc4..11ff386ae831889bc98602e45d9218130a7bd0cc 100755
|
| --- a/tools/create_sdk.py
|
| +++ b/tools/create_sdk.py
|
| @@ -39,6 +39,10 @@
|
| # ......dart_native_api.h
|
| # ......dart_tools_api.h
|
| # ....lib/
|
| +# ......dart_client.platform
|
| +# ......dart_server.platform
|
| +# ......dart_shared.platform
|
| +# ......dart2dart.platform
|
| # ......_internal/
|
| # ......async/
|
| # ......collection/
|
| @@ -241,6 +245,13 @@ def Main():
|
| ignore=ignore_patterns('*.svn', 'doc', '*.py', '*.gypi', '*.sh',
|
| '.gitignore'))
|
|
|
| + # Copy the platform descriptors.
|
| + for file_name in ["dart_client.platform",
|
| + "dart_server.platform",
|
| + "dart_shared.platform",
|
| + "dart2dart.platform"]:
|
| + copyfile(join(HOME, 'sdk', 'lib', file_name), join(LIB, file_name));
|
| +
|
| # Copy libraries.dart to lib/_internal/libraries.dart for backwards
|
| # compatibility.
|
| #
|
|
|