From 3b56d291472202f2be153d0d30ba50dbcdb4fd9d Mon Sep 17 00:00:00 2001 From: Gilles Peskine Date: Mon, 19 Dec 2022 00:56:44 +0100 Subject: [PATCH] List all the places with instructions to generate those files Signed-off-by: Gilles Peskine --- tests/scripts/check-generated-files.sh | 5 +++++ 1 file changed, 5 insertions(+) diff --git a/tests/scripts/check-generated-files.sh b/tests/scripts/check-generated-files.sh index 281f1ad32..946794c1d 100755 --- a/tests/scripts/check-generated-files.sh +++ b/tests/scripts/check-generated-files.sh @@ -121,6 +121,11 @@ check() # the format must be "check SCRIPT FILENAME...". For other source files, # any shell syntax is permitted (including e.g. command substitution). +# Note: Instructions to generate those files are replicated in: +# - **/Makefile (to (re)build them with make) +# - **/CMakeLists.txt (to (re)build them with cmake) +# - scripts/make_generated_files.bat (to generate them under Windows) + check scripts/generate_errors.pl library/error.c check scripts/generate_query_config.pl programs/test/query_config.c check scripts/generate_driver_wrappers.py library/psa_crypto_driver_wrappers.c