ci(coverity): correct flag name in Coverity build
For fvp and juno builds in tf_cov_make the EL3_PAYLOAD_BASE flag was
incorrectly named EL3_PAYLOAD. This patch corrects this to the correct
name.
Signed-off-by: Elizabeth Ho <elizabeth.ho@arm.com>
Change-Id: Ie19d8b658718fcb8cd2bbc6072c2d033a1117bdf
diff --git a/script/tf-coverity/tf-cov-make b/script/tf-coverity/tf-cov-make
index cdb55d0..322b037 100755
--- a/script/tf-coverity/tf-cov-make
+++ b/script/tf-coverity/tf-cov-make
@@ -97,7 +97,7 @@
ARM_RECOM_STATE_ID_ENC=1
# Alternative boot flows (This changes some of the platform initialisation code)
-clean_build $fvp_common_flags EL3_PAYLOAD=0x80000000
+clean_build $fvp_common_flags EL3_PAYLOAD_BASE=0x80000000
clean_build $fvp_common_flags PRELOADED_BL33_BASE=0x80000000
# Using the SP804 timer instead of the Generic Timer
@@ -216,7 +216,7 @@
#
juno_common_flags="$(common_flags) PLAT=juno"
clean_build $juno_common_flags SPD=tspd ${ARM_TBB_OPTIONS}
-clean_build $juno_common_flags EL3_PAYLOAD=0x80000000
+clean_build $juno_common_flags EL3_PAYLOAD_BASE=0x80000000
clean_build $juno_common_flags ENABLE_STACK_PROTECTOR=strong ARM_ETHOSN_NPU_DRIVER=1
clean_build $juno_common_flags ${ARM_TBB_OPTIONS} ENABLE_STACK_PROTECTOR=strong ARM_ETHOSN_NPU_DRIVER=1 ARM_ETHOSN_NPU_TZMP1=1
clean_build $juno_common_flags CSS_USE_SCMI_SDS_DRIVER=0