Skip to content
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

feat(build)!: Invert --no-pull to --force-pull #889

Conversation

nderjung
Copy link
Member

@nderjung nderjung commented Oct 19, 2023

Prerequisite checklist

  • Read the contribution guidelines regarding submitting new changes to the project;
  • Tested your changes against relevant architectures and platforms;
  • Ran make fmt on your commit series before opening this PR;
  • Updated relevant documentation.

Description of changes

This commit improves hackability of the contents of the .unikraft/ directory which is populated before invoking Unikraft's build system. Now, when a component is detected and does not exist, it will be pulled. Otherwise, the pull will be ignored unless the user specifies --force-pull.

This allows the user to hack the contents of .unikraft without it being overwritten after each kraft build.

This commit improves hackability of the contents of the  `.unikraft/`
directory which is populated before invoking Unikraft's build system.
Now, when a component is detected and does not exist, it will be pulled.
Otherwise, the pull will be ignored unless the user specifies
`--force-pull`.

Signed-off-by: Alexander Jung <alex@unikraft.io>
Copy link
Member

@craciunoiuc craciunoiuc left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

All good here. Thanks!

Reviewed-by: Cezar Craciunoiu cezar.craciunoiu@unikraft.io
Approved-by: Cezar Craciunoiu cezar.craciunoiu@unikraft.io

@craciunoiuc craciunoiuc merged commit bb138e4 into unikraft:staging Oct 19, 2023
4 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
Status: 🚀 Done
Development

Successfully merging this pull request may close these issues.

None yet

2 participants