diff options
| author | Justin M. Keyes <justinkz@gmail.com> | 2022-07-15 17:42:00 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-07-15 17:42:00 +0200 |
| commit | 5c49129c5e334a9c7da253499cd9aa19358d4ac9 (patch) | |
| tree | 5f425e7b9d529a2e16f5943c3330b136d2375191 /ci/script.sh | |
| parent | 9370e1c5111ee90f64260398b0623da4759f8f16 (diff) | |
| parent | d77ec8a5c6d76d5bd78490474dcc238ab8fc7b40 (diff) | |
| download | rneovim-5c49129c5e334a9c7da253499cd9aa19358d4ac9.tar.gz rneovim-5c49129c5e334a9c7da253499cd9aa19358d4ac9.tar.bz2 rneovim-5c49129c5e334a9c7da253499cd9aa19358d4ac9.zip | |
Merge #19324 ci: cleanup ci/ files
Diffstat (limited to 'ci/script.sh')
| -rwxr-xr-x | ci/script.sh | 12 |
1 files changed, 0 insertions, 12 deletions
diff --git a/ci/script.sh b/ci/script.sh deleted file mode 100755 index 74fc4eda6c..0000000000 --- a/ci/script.sh +++ /dev/null @@ -1,12 +0,0 @@ -#!/usr/bin/env bash - -set -e -set -o pipefail - -ci/run_${CI_TARGET}.sh - -if [[ -s "${GCOV_ERROR_FILE}" ]]; then - echo '=== Unexpected gcov errors: ===' - cat "${GCOV_ERROR_FILE}" - exit 1 -fi |