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