all clean::
	$(MAKE) -C faulty $@
	$(MAKE) -C executor $@
