Script to generate source files on Windows
Signed-off-by: Gilles Peskine <Gilles.Peskine@arm.com>
diff --git a/scripts/make_generated_files.bat b/scripts/make_generated_files.bat
new file mode 100644
index 0000000..4c4b53e
--- /dev/null
+++ b/scripts/make_generated_files.bat
@@ -0,0 +1,9 @@
+@rem Generate automatically-generated configuration-independent source files
+@rem and build scripts.
+@rem Perl and Python 3 must be on the PATH.
+perl scripts\generate_errors.pl || exit /b
+perl scripts\generate_query_config.pl || exit /b
+perl scripts\generate_features.pl || exit /b
+perl scripts\generate_visualc_files.pl || exit /b
+python scripts\generate_psa_constants.py || exit /b
+python tests\scripts\generate_psa_tests.py || exit /b