Index: tools/create_sdk.py |
=================================================================== |
--- tools/create_sdk.py (revision 24032) |
+++ tools/create_sdk.py (working copy) |
@@ -24,6 +24,8 @@ |
# ....include/ |
# ......dart_api.h |
# ......dart_debugger_api.h |
+# ......dart_mirrors_api.h |
+# ......dart_native_api.h |
# ....lib/ |
# ......_internal/ |
# ......async/ |
@@ -174,6 +176,10 @@ |
join(INCLUDE, 'dart_api.h')) |
copyfile(join(HOME, 'runtime', 'include', 'dart_debugger_api.h'), |
join(INCLUDE, 'dart_debugger_api.h')) |
+ copyfile(join(HOME, 'runtime', 'include', 'dart_mirrors_api.h'), |
+ join(INCLUDE, 'dart_mirrors_api.h')) |
+ copyfile(join(HOME, 'runtime', 'include', 'dart_native_api.h'), |
+ join(INCLUDE, 'dart_native_api.h')) |
# |
# Create and populate sdk/lib. |