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