marvell: a3k: enable also A3720_DB_PM_WAKEUP_SRC=1
A3720_DB_PM_WAKEUP_SRC=1 enables building of additional source files
used only for Armada 3720 Development Board.
Signed-off-by: Pali Rohár <pali@kernel.org>
Change-Id: If87e5576cbc2d2c311e5fd219d957a5f18a2e12e
diff --git a/script/tf-coverity/tf-cov-make b/script/tf-coverity/tf-cov-make
index 9d6ff03..65dc3a8 100755
--- a/script/tf-coverity/tf-cov-make
+++ b/script/tf-coverity/tf-cov-make
@@ -363,7 +363,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 CM3_SYSTEM_RESET=1 all
+make PLAT=a3700 $(common_flags) SCP_BL2=/dev/null CM3_SYSTEM_RESET=1 A3720_DB_PM_WAKEUP_SRC=1 all
# Source files from mv-ddr-marvell repository are necessary
# to build below four platforms