seL4_tools
seL4_tools copied to clipboard
improve CPIO creation
- reduce redundancy by using some helper variables
- use verbose cpio flags
- Improve maintainability for CPIO creation
- allow passing a directory also in the CPIO archive name, so root binary folder pollution can be avoided
Fixed a few typos.
Rebased. Can we merge this now, do the other PRs that use this get unblocked?
rebased and improved the absolute/relative path handling a bit more.
When I originally approved this, it was a much smaller change: https://github.com/seL4/seL4_tools/commit/e5981ae372a350993178b39d64f72e179ed082ea, so my approval doesn't apply to the current version of the PR.
When I originally approved this, it was a much smaller change: e5981ae, so my approval doesn't apply to the current version of the PR.
The older approach did not work in some corner cases.