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