From feef17dcf3390366ec4fa44bdaeff99dedb9cc6e Mon Sep 17 00:00:00 2001
From: Gilles Peskine <Gilles.Peskine@arm.com>
Date: Thu, 4 Dec 2025 15:12:04 +0100
Subject: [PATCH] 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>
---
 scripts/make_generated_files.py | 1 +
 1 file changed, 1 insertion(+)

diff --git a/scripts/make_generated_files.py b/scripts/make_generated_files.py
index 176ccd84f..d919fb0cf 100755
--- a/scripts/make_generated_files.py
+++ b/scripts/make_generated_files.py
@@ -242,6 +242,7 @@ def check_generated_files(generation_scripts: List[GenerationScript],
                 # there's nothing to compare to, or clean up.
                 continue
             if not filecmp.cmp(file, bak_file):
+                ok = False
                 ref_file = file.with_name(file.name + ".ref")
                 ref_file = root / ref_file
                 if ref_file.exists():