GNUmakefile
changeset 8785 daa518a22c34
parent 8615 1f2fb8070c7c
child 8801 505722879b55
--- a/GNUmakefile	Wed May 09 16:15:40 2018 +0200
+++ b/GNUmakefile	Mon Apr 30 18:08:09 2018 +0100
@@ -74,6 +74,7 @@
 	luacov
 	luacov-console
 	luacov-console -s
+	@echo "To inspect individual files run: luacov-console -l FILENAME"
 
 util/%.so:
 	$(MAKE) install -C util-src