Makefile revision ab47f17102a0d0e6aa2cb937dfea1d7ec36c74cd
# $Id$
.PHONY: check
check: hets
./runcheck.sh
%:
(cd ..; $(MAKE) $@)