promote field not defined'' warnings to errors

2022-07-12 11:53:29 +01:00
parent 502e64c24b
commit 3ccd3aa503
1 changed files with 1 additions and 0 deletions
--- 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