diff options
Diffstat (limited to 'make_tools.mk')
-rw-r--r-- | make_tools.mk | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/make_tools.mk b/make_tools.mk new file mode 100644 index 0000000..697897a --- /dev/null +++ b/make_tools.mk @@ -0,0 +1,11 @@ + +MAKEFLAGS += --no-print-directory + +TOOLDIRS := $(filter-out tools/agbcc tools/binutils,$(wildcard tools/*)) + +.PHONY: all $(TOOLDIRS) + +all: $(TOOLDIRS) + +$(TOOLDIRS): + @$(MAKE) -C $@ |