From ee8925042998d4093d081bfbf1b49a84361d3103 Mon Sep 17 00:00:00 2001
From: Wolfram Schneider <wosch@indexdata.dk>
Date: Mon, 19 Aug 2013 14:20:51 +0200
Subject: [PATCH] add a 'check' target for jenkins

---
 Makefile |    2 ++
 1 file changed, 2 insertions(+)

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 ]"
-- 
1.7.10.4