forked from seL4/seL4_tools
-
Notifications
You must be signed in to change notification settings - Fork 0
Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
- improve maintainability with explicit helper files - sanitize intermediate file names - improve comments - support using a directory in output name also Signed-off-by: Axel Heider <[email protected]>
- Loading branch information
Axel Heider
committed
Feb 25, 2024
1 parent
400f304
commit aa87728
Showing
1 changed file
with
78 additions
and
34 deletions.
There are no files selected for viewing
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters