changeset 13882:1ff24220fa2c

make: Inject comment explaining where Teal-generated files come from
author Kim Alvefur <zash@zash.se>
date Fri, 09 May 2025 00:48:40 +0200
parents f138b8a75468
children b713da7527d2
files GNUmakefile
diffstat 1 files changed, 1 insertions(+), 0 deletions(-) [+]
line wrap: on
line diff
--- a/GNUmakefile	Fri May 09 00:48:00 2025 +0200
+++ b/GNUmakefile	Fri May 09 00:48:40 2025 +0200
@@ -142,6 +142,7 @@
 %.lua: %.tl
 	tl -I teal-src/ --gen-compat off --gen-target 5.1 gen $^ -o $@
 	-lua-format -i --no-keep-simple-control-block-one-line --no-keep-simple-function-one-line $@
+	sed -i "1i-- This file is generated from $<" $@
 
 teal: util/jsonschema.lua util/datamapper.lua util/jsonpointer.lua