diff options
Diffstat (limited to 'GNUmakefile')
| -rw-r--r-- | GNUmakefile | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/GNUmakefile b/GNUmakefile index cb8dd195..0253cacd 100644 --- a/GNUmakefile +++ b/GNUmakefile @@ -74,6 +74,7 @@ coverage: luacov luacov-console luacov-console -s + @echo "To inspect individual files run: luacov-console -l FILENAME" util/%.so: $(MAKE) install -C util-src |