add a 'check' target for jenkins

[mkws-moved-to-github.git] / Makefile

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 $@
 
+check: distclean all
+
 help:
        @echo "make [ all | clean ]"