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