fix(st): provide DT file for STM32MP13
Whereas the device tree file should not be required to compile only BL2
on ST platforms, the coverity script fails because it tries to use the
default DT file (dedciated to STM32MP15). Provide STM32MP13 DT file
to the command line to avoid the issue.
Signed-off-by: Yann Gautier <yann.gautier@st.com>
Change-Id: I12031bee697dd28bf3809c552a59cf5312a09e36
diff --git a/script/tf-coverity/tf-cov-make b/script/tf-coverity/tf-cov-make
index 4c20b79..0c2dc9a 100755
--- a/script/tf-coverity/tf-cov-make
+++ b/script/tf-coverity/tf-cov-make
@@ -700,6 +700,7 @@
stm32mp13_common_flags="${stm32mp1_common_flags} \
AARCH32_SP=optee \
+ DTB_FILE_NAME=stm32mp135f-dk.dtb \
PSA_FWU_SUPPORT=1 \
STM32MP13=1"