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. |
# |