diff options
Diffstat (limited to 'ci/lint')
| -rwxr-xr-x | ci/lint/04_install.sh | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/ci/lint/04_install.sh b/ci/lint/04_install.sh index 1e046162ee..f7147582dc 100755 --- a/ci/lint/04_install.sh +++ b/ci/lint/04_install.sh @@ -7,7 +7,11 @@ export LC_ALL=C ${CI_RETRY_EXE} apt-get update -${CI_RETRY_EXE} apt-get install -y curl git gawk jq xz-utils +# Lint dependencies: +# - curl/xz-utils (to install shellcheck) +# - git (used in many lint scripts) +# - gpg (used by verify-commits) +${CI_RETRY_EXE} apt-get install -y curl xz-utils git gpg if [ -z "${SKIP_PYTHON_INSTALL}" ]; then PYTHON_PATH=/tmp/python |