aboutsummaryrefslogtreecommitdiff
path: root/ci
diff options
context:
space:
mode:
authorMarcoFalke <*~=`'#}+{/-|&$^_@721217.xyz>2024-07-22 13:23:48 +0200
committerMarcoFalke <*~=`'#}+{/-|&$^_@721217.xyz>2024-07-22 13:26:48 +0200
commitfa0f859885ee2c39c2d1cc704797c2461f3c473e (patch)
tree8dcc8c515240237ae511ccd672f23c705e219eb2 /ci
parentfa9ad59f8796e0c7e9463f47beda7dfb81ad69a9 (diff)
doc: Clarify intent of ./ci/lint_run_all.sh
Diffstat (limited to 'ci')
-rwxr-xr-xci/lint_run_all.sh2
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