.PHONY: all clean distclean

all: 
	$(MAKE) -C tools

clean:
	$(MAKE) -C tools clean

distclean:
	$(MAKE) -C tools distclean
