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