| Index: sky/tools/deploy_sdk.py
|
| diff --git a/sky/tools/deploy_sdk.py b/sky/tools/deploy_sdk.py
|
| index 81bd4296e6e0412a1172dc6a0a31c69566b943d1..d6f6a82028ffea15af06432370e3fe92951f51de 100755
|
| --- a/sky/tools/deploy_sdk.py
|
| +++ b/sky/tools/deploy_sdk.py
|
| @@ -171,9 +171,9 @@ def main():
|
| copy_or_link(src_path('sky/engine/bindings/builtin.dart'),
|
| sdk_path('packages/sky/sdk_additions/dart_sky_builtins.dart'))
|
| bindings_path = os.path.join(build_dir, 'gen/sky/bindings')
|
| - copy_or_link(os.path.join(bindings_path, 'dart_sky.dart'),
|
| - sdk_path('packages/sky/sdk_additions/dart_sky.dart'))
|
| -
|
| + # dart_sky.dart has many supporting files:
|
| + copy_or_link(bindings_path, sdk_path('packages/sky/sdk_additions'),
|
| + dart_filter)
|
|
|
| # Mojo package, lots of overlap with gen, must be copied:
|
| copy(src_path('mojo/public'), sdk_path('packages/mojo/lib/public'),
|
|
|