feat(versal-net): add build config for disabling platform management
Added build configuration for Xilinx Versal NET SoC with platform
management support disabled, to cover "plat_psci.c" file to be analysed
by TF-A CI coverity job.
Signed-off-by: Jayanth Dodderi Chidanand <jayanthdodderi.chidanand@arm.com>
Change-Id: I3cb61757b6fb5fc9bb9f98ec81694249f099920f
diff --git a/script/tf-coverity/tf-cov-make b/script/tf-coverity/tf-cov-make
index 4260a69..270932e 100755
--- a/script/tf-coverity/tf-cov-make
+++ b/script/tf-coverity/tf-cov-make
@@ -375,6 +375,9 @@
# Build Xilinx Versal NET platform
clean_build PLAT=versal_net $(common_flags)
+# Build Xilinx Versal NET without Platform Management support
+clean_build PLAT=versal_net $(common_flags) TFA_NO_PM=1
+
# Platforms from Allwinner
clean_build PLAT=sun50i_a64 $(common_flags release) all
clean_build PLAT=sun50i_a64 $(common_flags release) SUNXI_PSCI_USE_NATIVE=0 all