From 753e13fba3071fe6308d97d994c8218368e60d21 Mon Sep 17 00:00:00 2001
From: Alexandre Abadie <alexandre.abadie@inria.fr>
Date: Sun, 22 Nov 2020 18:16:31 +0100
Subject: [PATCH] tools/renode: disable gui and hide log by default

Use RENODE_SHOW_LOG and RENODE_SHOW_GUI from the command line to enable them
---
 makefiles/tools/renode.inc.mk | 14 ++++++++++++++
 1 file changed, 14 insertions(+)

diff --git a/makefiles/tools/renode.inc.mk b/makefiles/tools/renode.inc.mk
index 18b52ebb3c..efc8d6a394 100644
--- a/makefiles/tools/renode.inc.mk
+++ b/makefiles/tools/renode.inc.mk
@@ -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"