marvell: a8k: set BL33 to /dev/null
TF-A build for Marvell a8k requires u-boot binary to be specified in
BL33 variable. As CI does not test and check compilation of u-boot, set
BL33 just to /dev/null like it is for SCP_BL2.
Signed-off-by: Pali Rohár <pali@kernel.org>
Change-Id: If3bc38a0dcd9891a6bd5ae4ff17a879e43a0f0b8
diff --git a/script/tf-coverity/tf-cov-make b/script/tf-coverity/tf-cov-make
index 65dc3a8..41e0b2d 100755
--- a/script/tf-coverity/tf-cov-make
+++ b/script/tf-coverity/tf-cov-make
@@ -372,17 +372,17 @@
mv mv-ddr-marvell drivers/marvell/mv_ddr
# These platforms from Marvell have dependency on GCC-6.2.1 toolchain
-make PLAT=a80x0 DEBUG=1 SCP_BL2=/dev/null MV_DDR_PATH=$PWD/drivers/marvell/mv_ddr \
+make PLAT=a80x0 DEBUG=1 SCP_BL2=/dev/null BL33=/dev/null MV_DDR_PATH=$PWD/drivers/marvell/mv_ddr \
CROSS_COMPILE="$(set_cross_compile_gcc_linaro_toolchain)" all mrvl_flash
-make PLAT=a80x0_mcbin DEBUG=1 SCP_BL2=/dev/null MV_DDR_PATH=$PWD/drivers/marvell/mv_ddr \
+make PLAT=a80x0_mcbin DEBUG=1 SCP_BL2=/dev/null BL33=/dev/null MV_DDR_PATH=$PWD/drivers/marvell/mv_ddr \
CROSS_COMPILE="$(set_cross_compile_gcc_linaro_toolchain)" all mrvl_flash
-make PLAT=a70x0 DEBUG=1 SCP_BL2=/dev/null MV_DDR_PATH=$PWD/drivers/marvell/mv_ddr \
+make PLAT=a70x0 DEBUG=1 SCP_BL2=/dev/null BL33=/dev/null MV_DDR_PATH=$PWD/drivers/marvell/mv_ddr \
CROSS_COMPILE="$(set_cross_compile_gcc_linaro_toolchain)" all mrvl_flash
-make PLAT=a70x0_amc DEBUG=1 SCP_BL2=/dev/null MV_DDR_PATH=$PWD/drivers/marvell/mv_ddr \
+make PLAT=a70x0_amc DEBUG=1 SCP_BL2=/dev/null BL33=/dev/null MV_DDR_PATH=$PWD/drivers/marvell/mv_ddr \
CROSS_COMPILE="$(set_cross_compile_gcc_linaro_toolchain)" all mrvl_flash
-make PLAT=a80x0_puzzle DEBUG=1 SCP_BL2=/dev/null MV_DDR_PATH=$PWD/drivers/marvell/mv_ddr \
+make PLAT=a80x0_puzzle DEBUG=1 SCP_BL2=/dev/null BL33=/dev/null MV_DDR_PATH=$PWD/drivers/marvell/mv_ddr \
CROSS_COMPILE="$(set_cross_compile_gcc_linaro_toolchain)" all mrvl_flash
-make PLAT=t9130 DEBUG=1 SCP_BL2=/dev/null MV_DDR_PATH=$PWD/drivers/marvell/mv_ddr \
+make PLAT=t9130 DEBUG=1 SCP_BL2=/dev/null BL33=/dev/null MV_DDR_PATH=$PWD/drivers/marvell/mv_ddr \
CROSS_COMPILE="$(set_cross_compile_gcc_linaro_toolchain)" all mrvl_flash
# Removing the source files