Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Enable -dead_strip by default for opt builds #237

Merged
merged 1 commit into from
Feb 16, 2024

Conversation

keith
Copy link
Member

@keith keith commented Jul 31, 2023

This change makes -dead_strip always be enabled for opt builds,
regardless of --objc_enable_binary_stripping. This should be the right
default for everyone, if not we can look at adding a way to disable it.

This also allows passing --features=dead_strip to enable -dead_strip
in other configurations, which previously wasn't supported if you
weren't using opt.

@keith keith force-pushed the ks/enable-dead_strip-by-default-for-opt-builds branch 2 times, most recently from f329554 to cb8bef0 Compare July 31, 2023 18:25
@keith keith force-pushed the ks/enable-dead_strip-by-default-for-opt-builds branch from cb8bef0 to 68f67b3 Compare August 28, 2023 21:59
@keith keith enabled auto-merge (squash) August 28, 2023 21:59
@keith keith force-pushed the ks/enable-dead_strip-by-default-for-opt-builds branch from 68f67b3 to b99056c Compare February 16, 2024 21:30
This change makes `-dead_strip` always be enabled for `opt` builds,
regardless of `--objc_enable_binary_stripping`. This should be the right
default for everyone, if not we can look at adding a way to disable it.

This also allows passing `--features=dead_strip` to enable `-dead_strip`
in other configurations, which previously wasn't supported if you
weren't using `opt`.
@keith keith force-pushed the ks/enable-dead_strip-by-default-for-opt-builds branch from b99056c to f72129e Compare February 16, 2024 21:36
@keith keith merged commit a000b23 into master Feb 16, 2024
10 of 11 checks passed
@keith keith deleted the ks/enable-dead_strip-by-default-for-opt-builds branch February 16, 2024 21:38
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants