1 files changed, 3 insertions, 0 deletions

diff --git a/Makefile b/Makefile
index ea16ed6c..f8c156af 100644
--- a/Makefile
+++ b/Makefile
@@ -3,6 +3,9 @@ include Makefile.config
 build: 
 	make -C lst build
 
+check:
+	make -C lst check
+
 clean:
 	rm -f *~
 	make -C lst clean