Document how generate_config_checks.py accesses current information #262
Labels
No labels
approved
bug
dependencies
DO-NOT-MERGE
enhancement
good-first-issue
help-wanted
historical-reviewed
historical-reviewing
needs-adoption
needs-ci
needs-design-approval
needs-info
needs-preceding-pr
needs-review
needs-reviewer
needs-work
priority-high
priority-low
priority-medium
priority-scheduled
priority-very-high
single-reviewer
size-l
size-m
size-s
size-xs
No milestone
No assignees
1 participant
Notifications
Due date
No due date set.
Dependencies
No dependencies set
Reference
gh-Mbed-TLS/mbedtls-framework!262
Loading…
Reference in a new issue
No description provided.
Delete branch "config-checks-generator-current-spec"
Deleting a branch is permanent. Although the deleted branch may continue to exist for a short time before it actually gets removed, it CANNOT be undone in most cases. Continue?
Update the specification of generated config checks in accordance with the resolution of https://github.com/Mbed-TLS/mbedtls-framework/issues/249.
Companion to https://github.com/Mbed-TLS/mbedtls-framework/pull/260 which has the implementation.
PR checklist
@ -134,6 +134,31 @@ The generation happens before build time as part of `make generated_files` or siI believe tests/scripts/check_option_lists.py no longer exists and is now tests/scripts/check_committed_generated_files.py?
I've rebased on top of
mainto have a chance of passing the CI. I'll update the content in a new commit.LGTM, thanks!