.PHONY: 008 012 013 007 010 011 006 018 015 009 016 014 017
all: 008 012 013 007 010 011 006 018 015 009 016 014 017
008:
	make -C $@
012:
	make -C $@
013:
	make -C $@
007:
	make -C $@
010:
	make -C $@
011:
	make -C $@
006:
	make -C $@
018:
	make -C $@
015:
	make -C $@
009:
	make -C $@
016:
	make -C $@
014:
	make -C $@
017:
	make -C $@