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