1.PHONY: all clean distclean
2
3all:
4	$(MAKE) -C tools
5
6clean:
7	$(MAKE) -C tools clean
8
9distclean:
10	$(MAKE) -C tools distclean
11
12install uninstall:
13