commit 9352d0c49130525e6663a7a2019605adc215988b
author Ziad Elhanafy <ziad.elhanafy@arm.com> Thu Oct 03 17:13:25 2024 +0100
committer Manish V Badarkhe <manish.badarkhe@arm.com> Fri Nov 29 13:33:14 2024 +0100
tree b6ce4a2890b90ac3ff412ebd54bf5019da853f07
parent 29db3b663a9bb69b6fd14a62a7592e5db02baa34

tf-coverity: use clean_build instead of make for Cortsone1000 and RD-1 AE

Change-Id: If3e46665bd4db182872fafd258b13775ae379255
Signed-off-by: Ziad Elhanafy <ziad.elhanafy@arm.com>

script/tf-coverity/tf-cov-make

diff --git a/script/tf-coverity/tf-cov-make b/script/tf-coverity/tf-cov-make
index c9aa303..b047e99 100755
--- a/script/tf-coverity/tf-cov-make
+++ b/script/tf-coverity/tf-cov-make
@@ -380,20 +380,20 @@
 # corstone1000 Platform
 #
 
-make $(common_flags) \
-     PLAT=corstone1000 \
-     SPD=spmd \
-     TARGET_PLATFORM=fpga \
-     ENABLE_STACK_PROTECTOR=strong \
-     ENABLE_PIE=1 \
-     RESET_TO_BL2=1 \
-     SPMD_SPM_AT_SEL2=0 \
-     ${ARM_TBB_OPTIONS} \
-     CREATE_KEYS=1 \
-     COT=tbbr \
-     ROT_KEY=plat/arm/board/common/rotpk/arm_rotprivk_rsa.pem \
-     bl2 \
-     bl31
+clean_build $(common_flags) \
+            PLAT=corstone1000 \
+            SPD=spmd \
+            TARGET_PLATFORM=fpga \
+            ENABLE_STACK_PROTECTOR=strong \
+            ENABLE_PIE=1 \
+            RESET_TO_BL2=1 \
+            SPMD_SPM_AT_SEL2=0 \
+            ${ARM_TBB_OPTIONS} \
+            CREATE_KEYS=1 \
+            COT=tbbr \
+            ROT_KEY=plat/arm/board/common/rotpk/arm_rotprivk_rsa.pem \
+            bl2 \
+            bl31
 
 #
 # FVP-R platform
@@ -403,17 +403,17 @@
 #
 # RD-1 AE platform
 #
-make $(common_flags) \
-     PLAT=rd1ae \
-     ARCH=aarch64 \
-     ${ARM_TBB_OPTIONS} \
-     GENERATE_COT=1 \
-     COT=tbbr \
-     ROT_KEY=plat/arm/board/common/rotpk/arm_rotprivk_rsa.pem \
-     bl2 \
-     bl31 \
-     SPD=spmd \
-     SPMD_SPM_AT_SEL2=0
+clean_build $(common_flags) \
+            PLAT=rd1ae \
+            ARCH=aarch64 \
+            ${ARM_TBB_OPTIONS} \
+            GENERATE_COT=1 \
+            COT=tbbr \
+            ROT_KEY=plat/arm/board/common/rotpk/arm_rotprivk_rsa.pem \
+            bl2 \
+            bl31 \
+            SPD=spmd \
+            SPMD_SPM_AT_SEL2=0
 
 # Partners' platforms.
 # Enable as many features as possible.