-
Notifications
You must be signed in to change notification settings - Fork 4.1k
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
[7.2.0] Make --modify_execution_info additive #22288
Comments
Cherry-pick was attempted but there were merge conflicts in the following file(s). Please resolve manually.
cc: @bazelbuild/triage |
cc: @aranguyen @coeuvre |
Cherry-picked in #22316. |
Calling --modify_execution_info multiple times used to result in the last version being used. With this change, options are amended additively if --incompatible_modify_execution_info_additive is set. Fixes #13342 Closes #16262. PiperOrigin-RevId: 631803759 Change-Id: I5386cbb0d02ef19a6b2ddf2f818cbab660b17c31 Closes #22288. Co-authored-by: Romain Chossart <[email protected]>
Forked from #16262
The text was updated successfully, but these errors were encountered: