# $Id: Makefile,v 1.3 2003/06/20 11:26:09 2maeder Exp $

.PHONY: check

check: hetana hetpa
	bash ./runcheck.sh

%: 
	(cd ..; $(MAKE) $@)