mirror of
https://github.com/RIOT-OS/RIOT.git
synced 2024-12-29 04:50:03 +01:00
tools/renode: disable gui and hide log by default
Use RENODE_SHOW_LOG and RENODE_SHOW_GUI from the command line to enable them
This commit is contained in:
parent
c8ce41c9de
commit
753e13fba3
@ -15,6 +15,20 @@ ifneq (,$(EMULATOR_PIDFILE))
|
||||
RENODE_CONFIG_FLAGS += --pid-file $(EMULATOR_PIDFILE)
|
||||
endif
|
||||
|
||||
# Renode logging configuration
|
||||
RENODE_SHOW_LOG ?= 0
|
||||
ifneq (1,$(RENODE_SHOW_LOG))
|
||||
RENODE_CONFIG_FLAGS += --hide-log
|
||||
endif
|
||||
RENODE_LOG_LEVEL ?= 2 # Warning level
|
||||
RENODE_CONFIG_FLAGS += -e "logLevel $(RENODE_LOG_LEVEL)"
|
||||
|
||||
# Renode GUI
|
||||
RENODE_SHOW_GUI ?= 0
|
||||
ifneq (1,$(RENODE_SHOW_GUI))
|
||||
RENODE_CONFIG_FLAGS += --disable-xwt
|
||||
endif
|
||||
|
||||
# Configure local serial port
|
||||
PORT = /tmp/riot_$(APPLICATION)_$(BOARD)_uart
|
||||
RENODE_CONFIG_FLAGS += -e "emulation CreateUartPtyTerminal \"term\" \"$(PORT)\" true"
|
||||
|
Loading…
Reference in New Issue
Block a user