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