Chromium Code Reviews| Index: sky/tools/deploy_sdk.py |
| diff --git a/sky/tools/deploy_sdk.py b/sky/tools/deploy_sdk.py |
| index ffb38ac1417510d5a4eb5109db11cee0cd05a1f9..f729e9ddb02764894f0fa1036df9a88f5c7747b3 100755 |
| --- a/sky/tools/deploy_sdk.py |
| +++ b/sky/tools/deploy_sdk.py |
| @@ -173,10 +173,6 @@ def main(): |
| copy_or_link(os.path.join(bindings_path, 'dart_sky.dart'), |
| sdk_path('packages/sky/sdk_additions/dart_sky.dart')) |
| - # Not used in the dev environment. |
| - copy_or_link(src_path('sky/sdk/tools/sky'), |
| - sdk_path('packages/sky/bin/sky')) |
|
abarth-chromium
2015/03/18 20:36:49
Did you mean to remove this?
|
| - |
| # Mojo package, lots of overlap with gen, must be copied: |
| copy(src_path('mojo/public'), sdk_path('packages/mojo/lib/public'), |
| dart_filter) |