diff options
Diffstat (limited to 'GNUmakefile')
| -rw-r--r-- | GNUmakefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/GNUmakefile b/GNUmakefile index 17f0ea51..a86a0b7e 100644 --- a/GNUmakefile +++ b/GNUmakefile @@ -110,7 +110,7 @@ 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 +teal: util/jsonschema.lua util/datamapper.lua util/jsonpointer.lua util/%.so: $(MAKE) install -C util-src |