commit 92c76215875144a4a7d481344cbd8f037148c624
author Arvind Ram Prakash <arvind.ramprakash@arm.com> Wed Dec 11 10:26:55 2024 -0600
committer Manish Pandey <manish.pandey2@arm.com> Thu Dec 12 11:20:20 2024 +0000
tree 2fbe5f38adbe372fc9414c0c8abc5a8531267ad4
parent e4602408d2438de51238d91d10e3d2423f3c179b

feat(fpmr): include fpmr files as part of coverity

This patch adds fpmr source files to coverity job

Signed-off-by: Arvind Ram Prakash <arvind.ramprakash@arm.com>
Change-Id: Ie56b5fa4c903b5a1baaf5efabe97dd2338b6b974

script/tf-coverity/tf-cov-make

diff --git a/script/tf-coverity/tf-cov-make b/script/tf-coverity/tf-cov-make
index e5ff49d..27cdb78 100755
--- a/script/tf-coverity/tf-cov-make
+++ b/script/tf-coverity/tf-cov-make
@@ -202,6 +202,9 @@
 # Feat_FGT2 (Fine-grained Traps 2) feature
 clean_build $fvp_common_flags ENABLE_FEAT_FGT2=1
 
+# Feat_FPMR (Floating Point Mode Register) feature
+clean_build $fvp_common_flags ENABLE_FEAT_FPMR=1
+
 # FEAT_TCR2
 clean_build $fvp_common_flags ENABLE_FEAT_TCR2=1