Makefile revision 3fa78cc4ca8d77d7aa06b0d907d3abd809c96666
# $Id$
.PHONY: check
check: ../annos
bash runcheck.sh ../annos
output: ../annos
bash runcheck.sh ../annos set
%:
(cd ..; $(MAKE) $@)