RIOT/dist/tools/Makefile

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

.PHONY: all $(HOST_TOOLS)

all: $(HOST_TOOLS)

$(HOST_TOOLS):
	make -C $@
dist/tools: add sliptty to host-tools 2020-04-16 23:49:07 +02:00			`HOST_TOOLS=ethos uhcpd sliptty`
dist: tools: add makefile 2016-04-14 16:48:18 +02:00
			`.PHONY: all $(HOST_TOOLS)`

			`all: $(HOST_TOOLS)`

			`$(HOST_TOOLS):`
			`make -C $@`