| Dave Rodgman | 3e2c61d | 2024-01-04 16:20:20 +0000 | [diff] [blame] | 1 | #! /usr/bin/env bash |
| 2 | # |
| 3 | # Copyright The Mbed TLS Contributors |
| 4 | # SPDX-License-Identifier: Apache-2.0 OR GPL-2.0-or-later |
| 5 | # |
| 6 | # This swallows the output of the wrapped tool, unless there is an error. |
| 7 | # This helps reduce excess logging in the CI. |
| 8 | |
| 9 | # If you are debugging a build / CI issue, you can get complete unsilenced logs |
| 10 | # by un-commenting the following line (or setting VERBOSE_LOGS in your environment): |
| Dave Rodgman | 79aaaa4 | 2024-02-29 18:41:36 +0000 | [diff] [blame] | 11 | |
| Dave Rodgman | 869e310 | 2024-02-29 14:59:40 +0000 | [diff] [blame] | 12 | # export VERBOSE_LOGS=1 |
| Dave Rodgman | 3e2c61d | 2024-01-04 16:20:20 +0000 | [diff] [blame] | 13 | |
| 14 | # don't silence invocations containing these arguments |
| Dave Rodgman | 294a3c2 | 2024-03-12 13:32:36 +0000 | [diff] [blame] | 15 | NO_SILENCE=" --version | test " |
| Dave Rodgman | 3e2c61d | 2024-01-04 16:20:20 +0000 | [diff] [blame] | 16 | |
| Dave Rodgman | 294a3c2 | 2024-03-12 13:32:36 +0000 | [diff] [blame] | 17 | TOOL="make" |
| Dave Rodgman | 3e2c61d | 2024-01-04 16:20:20 +0000 | [diff] [blame] | 18 | |
| Dave Rodgman | c02c5b1 | 2024-03-05 18:09:35 +0000 | [diff] [blame] | 19 | . "$(dirname "$0")/quiet.sh" |