.PHONY: 008 004 007 010 011 005 006 003 015 009 002
all: 008 004 007 010 011 005 006 003 015 009 002
008:
	make -C $@
004:
	make -C $@
007:
	make -C $@
010:
	make -C $@
011:
	make -C $@
005:
	make -C $@
006:
	make -C $@
003:
	make -C $@
015:
	make -C $@
009:
	make -C $@
002:
	make -C $@