Index: build/cp.py |
diff --git a/build/cp.py b/build/cp.py |
index d0c46f412d6ddfe5cd00b675395e8af81a95ba5e..dd98e1db15d2bd2144d1791d9c84509f32d886a8 100755 |
--- a/build/cp.py |
+++ b/build/cp.py |
@@ -14,7 +14,8 @@ import sys |
def Main(src, dst): |
- return shutil.copyfile(src, dst) |
+ # Use copy instead of copyfile to ensure the executable bit is copied. |
+ return shutil.copy(src, dst) |
if __name__ == '__main__': |