include $(TOP)/etc/$(MACHINE).mk

distrib :
	cd mbkvhdl ; $(MAKE) MACHINE=$(MACHINE) TOP=$(TOP) distrib 

clean :
	cd mbkvhdl ; $(MAKE) MACHINE=$(MACHINE) TOP=$(TOP) clean
