commit d77ec8a5c6d76d5bd78490474dcc238ab8fc7b40 parent bb1a464467aefb443d4461e4d75cf0fc4283b461 Author: Dundar Goc <gocdundar@gmail.com> Date: Mon, 11 Jul 2022 16:40:49 +0200 ci: remove unnecessary file ci/script.sh It only runs run_tests.sh and checks coverage, which can be replaced by just moving the coverage check to ci/run_tests.sh. Diffstat:
| M | ci/run_tests.sh | | | 6 | ++++++ |
| D | ci/script.sh | | | 12 | ------------ |
2 files changed, 6 insertions(+), 12 deletions(-)
diff --git a/ci/run_tests.sh b/ci/run_tests.sh @@ -33,3 +33,9 @@ for i in "${tests[@]}"; do done end_tests + +if [[ -s "${GCOV_ERROR_FILE}" ]]; then + echo '=== Unexpected gcov errors: ===' + cat "${GCOV_ERROR_FILE}" + exit 1 +fi diff --git a/ci/script.sh b/ci/script.sh @@ -1,12 +0,0 @@ -#!/usr/bin/env bash - -set -e -set -o pipefail - -ci/run_tests.sh - -if [[ -s "${GCOV_ERROR_FILE}" ]]; then - echo '=== Unexpected gcov errors: ===' - cat "${GCOV_ERROR_FILE}" - exit 1 -fi