Index: tools/create_sdk.py |
diff --git a/tools/create_sdk.py b/tools/create_sdk.py |
index 4ac8679dfc8428f5fef2f02bbce2d9f86b106a4b..620e572c6bab26ead83f08b1e95a43bd82ce6c13 100755 |
--- a/tools/create_sdk.py |
+++ b/tools/create_sdk.py |
@@ -226,6 +226,9 @@ def Main(argv): |
join(RESOURCE), |
ignore=ignore_patterns('.svn')) |
+ copytree(join(SNAPSHOT, 'core_stubs'), |
+ join(RESOURCE, 'dart', 'core_stubs')) |
+ |
# Copy in 7zip for Windows. |
if HOST_OS == 'win32': |
copytree(join(HOME, 'third_party', '7zip'), |