From 6cfe240812e9c87bb2d48210c6551f3a11d1bce5 Mon Sep 17 00:00:00 2001 From: chrysn Date: Tue, 30 Aug 2022 10:51:59 +0200 Subject: [PATCH] makefiles: Select suitable terminal when stdio_rtt is used Co-authored-by: Benjamin Valentin --- makefiles/tools/serial.inc.mk | 10 ++++++++++ 1 file changed, 10 insertions(+) diff --git a/makefiles/tools/serial.inc.mk b/makefiles/tools/serial.inc.mk index ac90ef0d82..306d7a8824 100644 --- a/makefiles/tools/serial.inc.mk +++ b/makefiles/tools/serial.inc.mk @@ -23,6 +23,16 @@ PROG_DEV ?= $(PORT) export BAUD ?= 115200 +ifneq (,$(filter stdio_rtt,$(USEMODULE))) + ifeq (${PROGRAMMER},openocd) + RIOT_TERMINAL ?= openocd-rtt + else ifeq (${PROGRAMMER},jlink) + RIOT_TERMINAL ?= jlink + else ifeq (${RIOT_TERMINAL},) + $(warning "Warning: No RIOT_TERMINAL set, but using stdio_rtt: The default terminal is likely not to work.") + endif +endif + RIOT_TERMINAL ?= pyterm ifeq ($(RIOT_TERMINAL),pyterm) TERMPROG ?= $(RIOTTOOLS)/pyterm/pyterm