commit 4c2b6b46836e5e76f9823512fa4c3007ea64b64a
author Matthew Dalzell <matthew.dalzell@arm.com> Wed Oct 15 15:11:39 2025 +0100
committer Matthew Dalzell <matthew.dalzell@arm.com> Wed Oct 15 15:12:30 2025 +0100
tree 44924375d972d479b63fa4898dd23f03e54ff44d
parent dbe7853339e3ee3d1d8793c1f75a113bab54b4e9

COVERITY: Adds RSE TC4 config to checked builds

Change-Id: I9cd3047cf20450592f21a2e584ea78be2b16fdd8
Signed-off-by: Matthew Dalzell <matthew.dalzell@arm.com>

script/tf-coverity/cov-makefile

diff --git a/script/tf-coverity/cov-makefile b/script/tf-coverity/cov-makefile
index 385b960..061c560 100644
--- a/script/tf-coverity/cov-makefile
+++ b/script/tf-coverity/cov-makefile
@@ -1,5 +1,5 @@
 #
-# Copyright (c) 2019-2021, Arm Limited. All rights reserved.
+# Copyright (c) 2019-2025, Arm Limited. All rights reserved.
 #
 # SPDX-License-Identifier: BSD-3-Clause
 #
@@ -17,7 +17,8 @@
                     arm/mps2/an519 arm/mps2/an521 \
                     arm/mps3/an524 \
                     arm/musca_b1 \
-                    stm/stm32l562e_dk
+                    stm/stm32l562e_dk \
+                    arm/rse/tc/tc4
 
 tf_m := trusted-firmware-m