Skip to content

Commit ededeaa

Browse files
Actually fail if --check fails
Return a nonzero status if called with `--check` and the check finds some problems. Fixes #244. Signed-off-by: Gilles Peskine <Gilles.Peskine@arm.com>
1 parent 280bc92 commit ededeaa

File tree

1 file changed

+1
-0
lines changed

1 file changed

+1
-0
lines changed

scripts/make_generated_files.py

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -242,6 +242,7 @@ def check_generated_files(generation_scripts: List[GenerationScript],
242242
# there's nothing to compare to, or clean up.
243243
continue
244244
if not filecmp.cmp(file, bak_file):
245+
ok = False
245246
ref_file = file.with_name(file.name + ".ref")
246247
ref_file = root / ref_file
247248
if ref_file.exists():

0 commit comments

Comments
 (0)