From: Wolfram Schneider <wosch@indexdata.dk>
Date: Mon, 19 Aug 2013 12:20:51 +0000 (+0200)
Subject: add a 'check' target for jenkins
X-Git-Tag: 0.9.1~202^2~133
X-Git-Url: http://git.indexdata.com/?p=mkws-moved-to-github.git;a=commitdiff_plain;h=ee8925042998d4093d081bfbf1b49a84361d3103;hp=1ab02379768462976eebb1fc125e550fa461f7e7

add a 'check' target for jenkins
---

diff --git a/Makefile b/Makefile
index 79859f5..0c08188 100644
--- a/Makefile
+++ b/Makefile
@@ -6,5 +6,7 @@
 clean distclean all:
 	${MAKE} -C./tools/htdocs $@
 
+check: distclean all
+
 help:
 	@echo "make [ all | clean ]"