.PHONY: 012 013 007 010 011 006 015
all: 012 013 007 010 011 006 015
012:
	make -C $@
013:
	make -C $@
007:
	make -C $@
010:
	make -C $@
011:
	make -C $@
006:
	make -C $@
015:
	make -C $@