Makefile revision 2a2c652d2445d76e28ca75da2a5392f8cf870820
# $Id$
.PHONY: check
check: ../../hets
../../hets -v2 -o pp.het,th specs.het
../../hets -v2 -o pp.het,th specs.pp.het
%:
(cd ../..; $(MAKE) $@)