From 063a5aa68bde28dc2d81057bb9ffa2c249697d02 Mon Sep 17 00:00:00 2001
From: Andre Maroneze <andre.maroneze@cea.fr>
Date: Thu, 7 Sep 2023 10:34:04 +0200
Subject: [PATCH] [analysis-scripts] restore garbled mix warning to feedback
 for analysis logs

---
 share/analysis-scripts/analysis.mk | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/share/analysis-scripts/analysis.mk b/share/analysis-scripts/analysis.mk
index 98b4bdf099e..82d1a6c93e5 100644
--- a/share/analysis-scripts/analysis.mk
+++ b/share/analysis-scripts/analysis.mk
@@ -122,7 +122,7 @@ EVAFLAGS   ?= \
   -eva-no-print -eva-no-show-progress -eva-msg-key=-initial-state \
   -eva-print-callstacks -eva-warn-key alarm=inactive \
   -no-deps-print -no-calldeps-print \
-  -eva-warn-key garbled-mix \
+  -eva-warn-key garbled-mix=active,garbled-mix:write=feedback \
   -calldeps -from-verbose 0 \
   $(if $(EVABUILTINS), -eva-builtin=$(call fc_list,$(EVABUILTINS)),) \
   $(if $(EVAUSESPECS), -eva-use-spec $(call fc_list,$(EVAUSESPECS)),)
-- 
GitLab