Skip to content

add option to enable link time optimization#388

Merged
majcosta merged 1 commit into
1dot13:masterfrom
majcosta:pr_option_for_link_time_optimize
Dec 27, 2024
Merged

add option to enable link time optimization#388
majcosta merged 1 commit into
1dot13:masterfrom
majcosta:pr_option_for_link_time_optimize

Conversation

@majcosta
Copy link
Copy Markdown
Contributor

a bit slower to compile for developing so defaults to 'false', but might be a good idea for the releases.

a bit slower to compile for developing so defaults to 'false', but
might be a good idea for the releases.
@majcosta majcosta merged commit a83dfbe into 1dot13:master Dec 27, 2024
@majcosta majcosta deleted the pr_option_for_link_time_optimize branch December 27, 2024 21:17
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.

1 participant