-
Notifications
You must be signed in to change notification settings - Fork 2.1k
Make: Add generate-Makefile.ci #19244
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
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