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