From aee0eeeb993eff73d84ca181def18301af09b96c Mon Sep 17 00:00:00 2001 From: Kaspar Schleiser Date: Thu, 14 Apr 2016 16:48:18 +0200 Subject: [PATCH] dist: tools: add makefile --- dist/tools/Makefile | 8 ++++++++ 1 file changed, 8 insertions(+) create mode 100644 dist/tools/Makefile diff --git a/dist/tools/Makefile b/dist/tools/Makefile new file mode 100644 index 0000000000..9195a0bf8b --- /dev/null +++ b/dist/tools/Makefile @@ -0,0 +1,8 @@ +HOST_TOOLS=ethos uhcpd + +.PHONY: all $(HOST_TOOLS) + +all: $(HOST_TOOLS) + +$(HOST_TOOLS): + make -C $@