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