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