Skip to content

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

Merged
merged 2 commits into from
Feb 4, 2023
Merged

Conversation

bergzand
Copy link
Member

@bergzand bergzand commented Feb 4, 2023

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

@bergzand bergzand added Type: bug The issue reports a bug / The PR fixes a bug (including spelling errors) Area: build system Area: Build system labels Feb 4, 2023
@bergzand bergzand requested review from benpicco and maribu February 4, 2023 10:55
Copy link
Member

@maribu maribu left a 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 :)

@benpicco
Copy link
Contributor

benpicco commented Feb 4, 2023

Yea just remove the create-Makefile.ci target, no need to have this twice.

With this rename it is in line with the other generate-* targets
@bergzand bergzand force-pushed the pr/generate-Makefile.ci branch from eb59f4d to 820a895 Compare February 4, 2023 15:52
@bergzand
Copy link
Member Author

bergzand commented Feb 4, 2023

I took the liberty of force pushing a new commit with a rename instead of adding a new target.

@bergzand
Copy link
Member Author

bergzand commented Feb 4, 2023

I also added a similar commit to #19245, making BUILD_IN_DOCKER=1 the default

@bergzand bergzand requested a review from maribu February 4, 2023 15:55
@benpicco benpicco added CI: ready for build If set, CI server will compile all applications for all available boards for the labeled PR CI: skip compile test If set, CI server will run only non-compile jobs, but no compile jobs or their dependent jobs labels Feb 4, 2023
@riot-ci
Copy link

riot-ci commented Feb 4, 2023

Murdock results

✔️ PASSED

df18af5 Make: default to docker with generate-Makefile.ci

Success Failures Total Runtime
1 0 1 01m:02s

Artifacts

@maribu
Copy link
Member

maribu commented Feb 4, 2023

bors merge

@bors
Copy link
Contributor

bors bot commented Feb 4, 2023

Build succeeded:

@bors bors bot merged commit c3796d3 into RIOT-OS:master Feb 4, 2023
@bergzand bergzand deleted the pr/generate-Makefile.ci branch February 4, 2023 21:10
@bergzand
Copy link
Member Author

bergzand commented Feb 4, 2023

Thanks for the swift review

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
Area: build system Area: Build system CI: ready for build If set, CI server will compile all applications for all available boards for the labeled PR CI: skip compile test If set, CI server will run only non-compile jobs, but no compile jobs or their dependent jobs Type: bug The issue reports a bug / The PR fixes a bug (including spelling errors)
Projects
None yet
Development

Successfully merging this pull request may close these issues.

5 participants