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