dist: tools: add makefile

7 years ago · aee0eeeb99
1 changed files with 8 additions and 0 deletions
--- a/dist/tools/Makefile
+++ b/dist/tools/Makefile
@ -0,0 +1,8 @@
+HOST_TOOLS=ethos uhcpd
+
+.PHONY: all $(HOST_TOOLS)
+
+all: $(HOST_TOOLS)
+
+$(HOST_TOOLS):
+	make -C $@