Merge pull request #13876 from benpicco/examples/gnrc_border_router_slip_fix

dist/tools: add sliptty to host-tools
This commit is contained in:
Martine Lenders 2020-04-17 00:39:22 +02:00 committed by GitHub
commit 40c3de4b0f
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
2 changed files with 2 additions and 2 deletions

2
dist/tools/Makefile vendored
View File

@ -1,4 +1,4 @@
HOST_TOOLS=ethos uhcpd
HOST_TOOLS=ethos uhcpd sliptty
.PHONY: all $(HOST_TOOLS)

View File

@ -9,6 +9,6 @@ ifeq (1,$(USE_DHCPV6))
endif
# Configure terminal parameters
TERMDEPS += sliptty
TERMDEPS += host-tools
TERMPROG ?= sudo sh $(RIOTTOOLS)/sliptty/start_network.sh
TERMFLAGS ?= $(FLAGS_EXTRAS) $(IPV6_PREFIX) $(PORT) $(SLIP_BAUDRATE)