ci(coverity): add coverage for FEAT_TCR2
This patch adds a build config for FEAT_TCR2 to tf-cov-make,
to ensure that the relevant code and files are scanned.
Signed-off-by: Jayanth Dodderi Chidanand <jayanthdodderi.chidanand@arm.com>
Change-Id: I97c439bfac74e35daa9b94e94281c4a7b19af052
diff --git a/script/tf-coverity/tf-cov-make b/script/tf-coverity/tf-cov-make
index 977b25a..6311d51 100755
--- a/script/tf-coverity/tf-cov-make
+++ b/script/tf-coverity/tf-cov-make
@@ -199,6 +199,9 @@
# Feat_FGT2 (Fine-grained Traps 2) feature
clean_build $fvp_common_flags ENABLE_FEAT_FGT2=1
+# FEAT_TCR2
+clean_build $fvp_common_flags ENABLE_FEAT_TCR2=1
+
# Using GICv3.1 driver with extended PPI and SPI range
clean_build $fvp_common_flags GIC_EXT_INTID=1