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