commit 778684b33b7e9f45473c3dadac3671f00fe32f1f
author Madhukar Pappireddy <madhukar.pappireddy@arm.com> Tue Jan 12 11:53:02 2021 -0600
committer Madhukar Pappireddy <madhukar.pappireddy@arm.com> Tue Jan 12 12:40:29 2021 -0600
tree 1af18f7fe33e03c3306cd2b7cfe96b9c94cfd683
parent 61c547644a6030fcbd0c16cb2eb88e5346af19bf

coverity: Improve coverage using CM3_SYSTEM_RESET build flag for a3700

Recent patch from Marvell added a build option CM3_SYSTEM_RESET which
leverages a new source file:
plat/marvell/armada/a3k/common/cm3_system_reset.c

This patch add this new build option to coverity makefile command to
analyze this file thereby improving file coverage.

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

script/tf-coverity/tf-cov-make

diff --git a/script/tf-coverity/tf-cov-make b/script/tf-coverity/tf-cov-make
index eb442e6..edff4a0 100755
--- a/script/tf-coverity/tf-cov-make
+++ b/script/tf-coverity/tf-cov-make
@@ -343,7 +343,7 @@
 clean_build PLAT=stingray $(common_flags) BOARD_CFG=bcm958742t-ns3 INCLUDE_EMMC_DRIVER_ERASE_CODE=1
 
 # Platforms from Marvell
-make PLAT=a3700 $(common_flags) SCP_BL2=/dev/null all
+make PLAT=a3700 $(common_flags) SCP_BL2=/dev/null CM3_SYSTEM_RESET=1 all
 
 # Source files from mv-ddr-marvell repository are necessary
 # to build below four platforms