fix: missing mbedTLS source path causes build failure
Fixed the build-failure by proving the mbedTLS source path.
Also, now added additional FVP build to verify the coverage
as below -
1. FVP build with CCA enabled system (ENABLE_RME + TBB + MEASURED_BOOT)
+ RSS supported
2. FVP build with non-TBB + RSS supported + MEASURED_BOOT
Signed-off-by: Manish V Badarkhe <Manish.Badarkhe@arm.com>
Change-Id: I54217110c6e9f507c03d859285969b3bbf09cb25
diff --git a/script/tf-coverity/tf-cov-make b/script/tf-coverity/tf-cov-make
index 9c79bc4..7a52dfa 100755
--- a/script/tf-coverity/tf-cov-make
+++ b/script/tf-coverity/tf-cov-make
@@ -69,7 +69,11 @@
# Coverity. In reality, RSS is not supported on FVP right now (or on any other
# upstream platform, for that matter) so the resulting firmware would not be
# functional.
-clean_build $fvp_common_flags USE_ROMLIB=1 MEASURED_BOOT=1 \
+clean_build $fvp_common_flags ${ARM_TBB_OPTIONS} USE_ROMLIB=1 \
+ ENABLE_RME=1 MEASURED_BOOT=1 PLAT_RSS_NOT_SUPPORTED=0
+
+# FVP RSS supported build without CCA enabled.
+clean_build $fvp_common_flags USE_ROMLIB=1 MEASURED_BOOT=1 MBEDTLS_DIR=$(pwd)/mbedtls \
PLAT_RSS_NOT_SUPPORTED=0
clean_build $fvp_common_flags SPD=trusty