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