Thanks to visit codestin.com
Credit goes to GitHub.com

Skip to content

ci: local build options#7197

Open
ethomson wants to merge 2 commits intomainfrom
ethomson/ci_simplification
Open

ci: local build options#7197
ethomson wants to merge 2 commits intomainfrom
ethomson/ci_simplification

Conversation

@ethomson
Copy link
Member

Allow for "local" build options and "global" build options, so that we can simplify the build scripts.

Allow for "local" build options and "global" build options, so that we
can simplify the build scripts.
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