make_generated_files.py --check does not enforce failures #214
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#214
Loading…
Reference in a new issue
No description provided.
Delete branch "%!s()"
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?
make_generated_files.py --checkerrors out if one of the expected files does not exist. But if the file exists with a different content from what's expected, it just prints a message and exist with 0.If a file has different content,
make_generated_files.py --checkshould exist with a nonzero status.There are more problems with
make_generated_files.py, see https://github.com/Mbed-TLS/mbedtls-framework/issues/215. But this one is an inoperative test, whereas the rest are development friction.