-
Notifications
You must be signed in to change notification settings - Fork 2k
New issue
Have a question about this project? # for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “#”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? # to your account
Make: Add generate-Makefile.ci #19244
Conversation
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Maybe we can also drop create-Makefile ci. I don't expect any downstream users (they would need a Murdock instance themselves), so I think we don't need a deprecation.
I hope @benpicco' s muscle memory adapts swiftly to the new name, otherwise he should speak up against the change quickly :)
Yea just remove the |
With this rename it is in line with the other generate-* targets
eb59f4d
to
820a895
Compare
I took the liberty of force pushing a new commit with a rename instead of adding a new target. |
I also added a similar commit to #19245, making |
bors merge |
Build succeeded: |
Thanks for the swift review |
Contribution description
This is the same as the create-Makefile.ci. The alias is added to stay in line with other generate-* Make targets. Now the documentation should also be valid again
Testing procedure
The target should now match the documentation in the doxygen.
Issues/PRs references
follow-up to #19239