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