Makefile revision a63d1f38ec3e8aaa68ca62352cd707b1522b8766
# $Id$
check: hetcats
%:
(cd hetcats; $(MAKE) $@)