Makefile revision d23b0cc79c0d204e6ec758dff8d0ba71c9f693f7
# $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) $@)