From 06f9c84203cf3a1af14b8777f653d3c4910fe179 Mon Sep 17 00:00:00 2001 From: Gilles Peskine Date: Wed, 17 Sep 2025 11:33:21 +0200 Subject: [PATCH] Friendlier error if a file doesn't exist Signed-off-by: Gilles Peskine --- scripts/make_generated_files.py | 2 ++ 1 file changed, 2 insertions(+) diff --git a/scripts/make_generated_files.py b/scripts/make_generated_files.py index cd60b087f..49c98a403 100755 --- a/scripts/make_generated_files.py +++ b/scripts/make_generated_files.py @@ -205,6 +205,8 @@ def check_generated_files(generation_scripts: List[GenerationScript], root: Path for generation_script in generation_scripts: for file in generation_script.files: file = root / file + if not file.exists(): + raise Exception(f"Expected generated file does not exist: {file}") bak_file = file.with_name(file.name + ".bak") if bak_file.exists(): bak_file.unlink()