Makefile revision 07dbc9323242b75da40b769d646f52e323ec694e
# $Id$
.PHONY: check
check: annos
bash runcheck.sh ../annos
output: annos
bash runcheck.sh ../annos set
annos:
if test ! -x ../annos; then (cd ..; ./ghc-call); fi
%:
(cd ../..; $(MAKE) $@)