add a 'check' target for jenkins

diff --git a/Makefile b/Makefile
index 79859f5..0c08188 100644 (file)
--- a/Makefile
+++ b/Makefile
@@ -6,5 +6,7 @@
 clean distclean all:
        ${MAKE} -C./tools/htdocs $@
 
 clean distclean all:
        ${MAKE} -C./tools/htdocs $@
 

+check: distclean all
+

 help:
        @echo "make [ all | clean ]"
 help:
        @echo "make [ all | clean ]"