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