feat(debugv8p9): add debugv8p9 files to coverity
This patch includes FEAT_Debugv8p9 files to the coverity job.
Signed-off-by: Arvind Ram Prakash <arvind.ramprakash@arm.com>
Change-Id: Ia93e407ddf9e38213ab65f711012580261b471fe
diff --git a/script/tf-coverity/tf-cov-make b/script/tf-coverity/tf-cov-make
index 9173561..80cfb87 100755
--- a/script/tf-coverity/tf-cov-make
+++ b/script/tf-coverity/tf-cov-make
@@ -193,6 +193,9 @@
# MPAM feature
clean_build $fvp_common_flags ENABLE_FEAT_MPAM=1
+# Debugv8p9 feature
+clean_build $fvp_common_flags ENABLE_FEAT_DEBUGV8P9=1
+
# Using GICv3.1 driver with extended PPI and SPI range
clean_build $fvp_common_flags GIC_EXT_INTID=1