| Leonardo Sandoval | c503d7e | 2020-08-10 15:47:11 -0500 | [diff] [blame^] | 1 | #! /usr/bin/env bash |
| Leonardo Sandoval | d05adab | 2020-08-10 14:01:54 -0500 | [diff] [blame] | 2 | # |
| 3 | # Copyright (c) 2019-2020, Arm Limited. All rights reserved. |
| 4 | # |
| 5 | # SPDX-License-Identifier: BSD-3-Clause |
| 6 | # |
| 7 | |
| 8 | # |
| 9 | # This script builds the TF in different configs. |
| 10 | # Rather than telling cov-build to build TF using a simple 'make all' command, |
| 11 | # the goal here is to combine several build flags to analyse more of our source |
| 12 | # code in a single 'build'. The Coverity Scan service does not have the notion |
| 13 | # of separate types of build - there is just one linear sequence of builds in |
| 14 | # the project history. |
| 15 | # |
| 16 | |
| 17 | # Bail out as soon as an error is encountered. |
| 18 | set -e |
| 19 | |
| Leonardo Sandoval | c503d7e | 2020-08-10 15:47:11 -0500 | [diff] [blame^] | 20 | tf_coverity_dir="$(readlink -f "$(dirname "$0")/")" |
| 21 | base_dir="$(readlink -f "$(dirname "$0")/../../../")" |
| Leonardo Sandoval | d05adab | 2020-08-10 14:01:54 -0500 | [diff] [blame] | 22 | |
| Leonardo Sandoval | c503d7e | 2020-08-10 15:47:11 -0500 | [diff] [blame^] | 23 | . $tf_coverity_dir/common-def.sh |
| Leonardo Sandoval | d05adab | 2020-08-10 14:01:54 -0500 | [diff] [blame] | 24 | |
| Leonardo Sandoval | c503d7e | 2020-08-10 15:47:11 -0500 | [diff] [blame^] | 25 | # a single makefile takes care of all platform building |
| 26 | make BASE_DIR="$base_dir" -f "$tf_coverity_dir/cov-makefile" |