diff --git a/share/analysis-scripts/analysis.mk b/share/analysis-scripts/analysis.mk index 98b4bdf099eb798087270e58d2d3fe67a1c9c755..82d1a6c93e5ba9422dd6b2c09a72fb409ed98467 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)),)