commit 075709d347133d6b6e63e054ada61553151017ef
author Madhukar Pappireddy <madhukar.pappireddy@arm.com> Thu May 01 22:19:44 2025 -0500
committer Manish V Badarkhe <manish.badarkhe@arm.com> Fri May 02 09:45:19 2025 +0000
tree 011b6646e402cbdbc412dd6d43ab8830a026c880
parent 82350c1f59e79b14697f90481f84462c820f49c6

coverity: build versal_net with SDEI support

Enabling SDEI_SUPPORT helps to compile and analyze the following file:
    - plat/xilinx/versal_net/versal_net_sdei.c

Signed-off-by: Madhukar Pappireddy <madhukar.pappireddy@arm.com>
Change-Id: Ica5c38e4d98a70fc4788032e848b9631fd7a4df5

script/tf-coverity/tf-cov-make

diff --git a/script/tf-coverity/tf-cov-make b/script/tf-coverity/tf-cov-make
index ab22288..5246b03 100755
--- a/script/tf-coverity/tf-cov-make
+++ b/script/tf-coverity/tf-cov-make
@@ -475,8 +475,8 @@
 clean_build PLAT=versal $(common_flags)
 clean_build PLAT=versal $(common_flags) VERSAL_PLATFORM=versal_virt
 
-# Build Xilinx Versal NET platform
-clean_build PLAT=versal_net $(common_flags)
+# Build Xilinx Versal NET platform with SDEI support
+clean_build PLAT=versal_net $(common_flags) SDEI_SUPPORT=1
 
 # Build Xilinx Versal NET without Platform Management support
 clean_build PLAT=versal_net $(common_flags) TFA_NO_PM=1