make_generated_files.py --check does not enforce failures #214

Open
opened 2025-09-17 05:25:44 -05:00 by gilles-peskine-arm · 0 comments
gilles-peskine-arm commented 2025-09-17 05:25:44 -05:00 (Migrated from github.com)

make_generated_files.py --check errors 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 --check should 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.

`make_generated_files.py --check` errors 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 --check` should 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.
Sign in to join this conversation.
No milestone
No assignees
1 participant
Notifications
Due date
The due date is invalid or out of range. Please use the format "yyyy-mm-dd".

No due date set.

Dependencies

No dependencies set

Reference
gh-Mbed-TLS/mbedtls-framework#214
No description provided.