ci(coverity): update coverage
Add coverage for -
- FEAT_THE
- FEAT_SCTLR2
Change-Id: I41ed2f80bdff7c38f9a6d2d3974b9d4a59eda111
Signed-off-by: Govindraj Raja <govindraj.raja@arm.com>
diff --git a/script/tf-coverity/tf-cov-make b/script/tf-coverity/tf-cov-make
index 289a4e6..ce731de 100755
--- a/script/tf-coverity/tf-cov-make
+++ b/script/tf-coverity/tf-cov-make
@@ -202,6 +202,9 @@
# FEAT_TCR2
clean_build $fvp_common_flags ENABLE_FEAT_TCR2=1
+# FEAT_THE, FEAT_SCTLR2
+clean_build $fvp_common_flags ENABLE_FEAT_THE=1 ENABLE_FEAT_SCTLR2=1
+
# Using GICv3.1 driver with extended PPI and SPI range
clean_build $fvp_common_flags GIC_EXT_INTID=1