.PHONY: 008 012 013 004 010 011 015 009 016 014
all: 008 012 013 004 010 011 015 009 016 014
008:
	make -C $@
012:
	make -C $@
013:
	make -C $@
004:
	make -C $@
010:
	make -C $@
011:
	make -C $@
015:
	make -C $@
009:
	make -C $@
016:
	make -C $@
014:
	make -C $@