add a 'check' target for jenkins
authorWolfram Schneider <wosch@indexdata.dk>
Mon, 19 Aug 2013 12:20:51 +0000 (14:20 +0200)
committerWolfram Schneider <wosch@indexdata.dk>
Mon, 19 Aug 2013 12:20:51 +0000 (14:20 +0200)
commitee8925042998d4093d081bfbf1b49a84361d3103
tree5ec45a500f77878c8249db749f04a8b5238b4747
parent1ab02379768462976eebb1fc125e550fa461f7e7
add a 'check' target for jenkins
Makefile