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