diff options
Diffstat (limited to 'GNUmakefile')
| -rw-r--r-- | GNUmakefile | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/GNUmakefile b/GNUmakefile index f36870e9..17f0ea51 100644 --- a/GNUmakefile +++ b/GNUmakefile @@ -110,6 +110,8 @@ vpath %.tl teal-src/ tl -I teal-src/ --gen-compat off --gen-target 5.1 gen $^ -o $@ -lua-format -i $@ +teal: util/jsonschema.lua util/datamapper.lua + util/%.so: $(MAKE) install -C util-src |