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