Index: tools/create_sdk.py |
diff --git a/tools/create_sdk.py b/tools/create_sdk.py |
index f461d3b9b5f5340a796f655448ece8a8ac8683f8..9c1e51f54af9a72ce21eb6674ef5ec3d292efa52 100755 |
--- a/tools/create_sdk.py |
+++ b/tools/create_sdk.py |
@@ -96,6 +96,9 @@ def GetOptions(): |
options.add_option("--copy_libs", |
action="store_true", default=False, |
help='Copy dynamically linked libraries to the SDK bin directory.') |
+ options.add_option("--disable_stripping", |
+ action="store_true", default=False, |
+ help='Do not try to strip binaries. Use when they are already stripped') |
return options.parse_args() |
@@ -237,9 +240,9 @@ def Main(): |
copyfile(dart_src_binary, dart_dest_binary) |
copymode(dart_src_binary, dart_dest_binary) |
# Strip the binaries on platforms where that is supported. |
- if HOST_OS == 'linux': |
+ if HOST_OS == 'linux' and not options.disable_stripping: |
subprocess.call(['strip', dart_dest_binary]) |
- elif HOST_OS == 'macos': |
+ elif HOST_OS == 'macos' and not options.disable_stripping: |
subprocess.call(['strip', '-x', dart_dest_binary]) |
# |