-
Notifications
You must be signed in to change notification settings - Fork 203
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
add support for alternative/deprecated toolchain options #4587
base: 5.0.x
Are you sure you want to change the base?
Conversation
guess we should also consider what we would like to rename; current toolchain options are:
|
@boegel as usual, suggestions/edits welcome
There are a few sets of boolean toggles that are currently mutually exclusive:
where it would probably make sense to combine these into single options with multiple supported values, e.g.: of course, this would require some extra changes to accommodate for not being booleans |
agreed |
@jfgrimm (probably minor) merge conflict to fix here... |
During today's conf call we briefly discussed that next to |
No description provided.