RIOT/dist/tools/Makefile

mirror of https://github.com/RIOT-OS/RIOT.git synced 2024-12-29 04:50:03 +01:00
HOST_TOOLS=benchmark_udp dose ethos uhcpd sliptty zep_dispatch

.PHONY: all $(HOST_TOOLS)

all: $(HOST_TOOLS)

$(HOST_TOOLS):
	$(MAKE) -C $@
dist: add dose UNIX tool 2022-06-02 15:04:34 +02:00			`HOST_TOOLS=benchmark_udp dose ethos uhcpd sliptty zep_dispatch`
dist: tools: add makefile 2016-04-14 16:48:18 +02:00
			`.PHONY: all $(HOST_TOOLS)`

			`all: $(HOST_TOOLS)`

			`$(HOST_TOOLS):`
make: use $(MAKE) instead of direct `make` call 2020-07-03 11:17:57 +02:00			`$(MAKE) -C $@`