| Index: tools/create_sdk.py
|
| diff --git a/tools/create_sdk.py b/tools/create_sdk.py
|
| index bdb69f237ef15a66076d80487c13f98e9cddcbc4..1dfa25a51e5093a50325da2d3d3a0a21c62e390b 100755
|
| --- a/tools/create_sdk.py
|
| +++ b/tools/create_sdk.py
|
| @@ -241,6 +241,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.
|
| #
|
|
|