create a coverity builder
The Coverity Scanner requires a 'platform builder' which in this case,
it is a makefile (cov-makefile) that take cares of platform
compilation under the trusted-firmware-m folder. The compiled files
are the only source files scanned by Coverity, thus the more platforms
included on the platform builder, the better is the static check
scan. So far, the only platform considered is mps2/an521 but much more
are desired as explained above.
Signed-off-by: Leonardo Sandoval <leonardo.sandoval@linaro.org>
Change-Id: If8ce6a70e8568c5e8b0116555b20377855ac9a55
diff --git a/coverity/run_coverity.sh b/coverity/run_coverity.sh
index b772b7e..fd26f8a 100755
--- a/coverity/run_coverity.sh
+++ b/coverity/run_coverity.sh
@@ -24,7 +24,6 @@
# Assumptions:
# The following tools are loaded in the PATH:
# - the Coverity tools (cov-configure, cov-build, and so on);
-# - the AArch64 cross-toolchain;
# - the AArch32 cross-toolchain.
# Bail out as soon as an error is encountered
@@ -47,10 +46,7 @@
cov-analyze --ident
fi
- # Check that the AArch64 cross-toolchain is available.
- aarch64-none-elf-gcc --version
-
- # Check that the AArch32 cross-toolchain is available.
+ # Check that the GNUARM cross-toolchain is available.
arm-none-eabi-gcc --version
echo
@@ -71,13 +67,7 @@
# Each invocation of the cov-configure command adds a compiler configuration in
# its own subdirectory, and the top XML configuration file contains an include
# directive for that compiler-specific configuration.
- # 1) AArch64 compiler
- cov-configure \
- --comptype gcc \
- --template \
- --compiler aarch64-none-elf-gcc \
- --config cov-config/config.xml
- # 2) AArch32 compiler
+ # 1) AArch32 compiler
cov-configure \
--comptype gcc \
--template \