# $Id$

.PHONY: check

check: hets
	../../hets -v2 -o pp.het,th specs.het
	../../hets -v2 -o pp.het,th specs.pp.het

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