diff --git a/ci/lint/04_install.sh b/ci/lint/04_install.sh index acec2f32e9f..655db50361c 100755 --- a/ci/lint/04_install.sh +++ b/ci/lint/04_install.sh @@ -12,11 +12,10 @@ pushd "/" ${CI_RETRY_EXE} apt-get update # Lint dependencies: -# - automake pkg-config libtool (for lint_includes_build_config) # - curl/xz-utils (to install shellcheck) # - git (used in many lint scripts) # - gpg (used by verify-commits) -${CI_RETRY_EXE} apt-get install -y automake pkg-config libtool curl xz-utils git gpg +${CI_RETRY_EXE} apt-get install -y curl xz-utils git gpg PYTHON_PATH="/python_build" if [ ! -d "${PYTHON_PATH}/bin" ]; then