Chromium Code Reviews| Index: sky/tools/deploy_sdk.py |
| diff --git a/sky/tools/deploy_sdk.py b/sky/tools/deploy_sdk.py |
| index 44baf9f2e01454ffee13531fc219f963722c6f33..b2342e307fdeb90e72fd49cb8ef2b15006eb842e 100755 |
| --- a/sky/tools/deploy_sdk.py |
| +++ b/sky/tools/deploy_sdk.py |
| @@ -170,6 +170,8 @@ def main(): |
| # Mojo package, lots of overlap with gen, must be copied: |
| copy(src_path('mojo/public'), sdk_path('packages/mojo/lib/public'), |
| dart_filter) |
| + copy(os.path.join(build_dir, 'gen/dart-gen/keyboard'), |
| + sdk_path('packages/keyboard/lib'), gen_filter) |
|
jamesr
2015/04/16 22:26:55
this is a hack around the lack of a good place to
|
| copy(os.path.join(build_dir, 'gen/dart-gen/mojo'), |
| sdk_path('packages/mojo/lib'), gen_filter) |
| @@ -197,6 +199,8 @@ def main(): |
| if args.fake_pub_get_into: |
| packages_dir = os.path.abspath(args.fake_pub_get_into) |
| ensure_dir_exists(packages_dir) |
| + make_relative_symlink(sdk_path('packages/keyboard/lib'), |
| + os.path.join(packages_dir, 'keyboard')) |
| make_relative_symlink(sdk_path('packages/mojo/lib'), |
| os.path.join(packages_dir, 'mojo')) |
| make_relative_symlink(sdk_path('packages/sky/lib'), |