diff options
author | MarcoFalke <*~=`'#}+{/-|&$^_@721217.xyz> | 2024-07-22 13:23:48 +0200 |
---|---|---|
committer | MarcoFalke <*~=`'#}+{/-|&$^_@721217.xyz> | 2024-07-22 13:26:48 +0200 |
commit | fa0f859885ee2c39c2d1cc704797c2461f3c473e (patch) | |
tree | 8dcc8c515240237ae511ccd672f23c705e219eb2 /ci | |
parent | fa9ad59f8796e0c7e9463f47beda7dfb81ad69a9 (diff) |
doc: Clarify intent of ./ci/lint_run_all.sh
Diffstat (limited to 'ci')
-rwxr-xr-x | ci/lint_run_all.sh | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/ci/lint_run_all.sh b/ci/lint_run_all.sh index fe02016c29..452be67f1b 100755 --- a/ci/lint_run_all.sh +++ b/ci/lint_run_all.sh @@ -6,6 +6,8 @@ export LC_ALL=C.UTF-8 +# Only used in .cirrus.yml. Refer to test/lint/README.md on how to run locally. + cp "./ci/retry/retry" "/ci_retry" set -o errexit; source ./ci/lint/04_install.sh set -o errexit |