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