| Index: sky/tools/deploy_sdk.py
|
| diff --git a/sky/tools/deploy_sdk.py b/sky/tools/deploy_sdk.py
|
| index c5b481c7d9bc001423504e4bfc074465db52f826..431d03035c4c72fe2bfb4b7e7d78a0637715d355 100755
|
| --- a/sky/tools/deploy_sdk.py
|
| +++ b/sky/tools/deploy_sdk.py
|
| @@ -170,8 +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/mojo'), sdk_path('packages/mojo/lib'),
|
| - gen_filter)
|
| + copy(os.path.join(build_dir, 'gen/dart-gen/mojo'),
|
| + sdk_path('packages/mojo/lib'), gen_filter)
|
|
|
| # Mojo SDK additions:
|
| copy_or_link(src_path('mojo/public/dart/bindings.dart'),
|
|
|