From 3ccd3aa5033736238cd2671b015f798fd74f5236 Mon Sep 17 00:00:00 2001 From: Franz Fuchs Date: Tue, 12 Jul 2022 11:53:29 +0100 Subject: [PATCH] promote field not defined'' warnings to errors --- builds/Resources/Include_Common.mk | 1 + 1 file changed, 1 insertion(+) diff --git a/builds/Resources/Include_Common.mk b/builds/Resources/Include_Common.mk index d9b6610..c7f0d1e 100644 --- a/builds/Resources/Include_Common.mk +++ b/builds/Resources/Include_Common.mk @@ -94,6 +94,7 @@ BSC_COMPILATION_FLAGS += \ -keep-fires -aggressive-conditions -no-warn-action-shadowing -check-assert \ -suppress-warnings G0020 -steps-max-intervals 10000000 \ -steps-warn-interval 1000000 \ + -promote-warnings T0054 \ +RTS -K128M -RTS -show-range-conflict # -D NO_SPEC_TRAINING -D NO_SPEC_REDIRECT -D NO_SPEC_STRAIGHT_PATH -D SPEC_RSB_FIXUP -D NO_SPEC_RSB_PUSH -D NO_SPEC_STL