diff options
| author | fanquake <fanquake@gmail.com> | 2024-08-29 15:47:07 +0100 |
|---|---|---|
| committer | fanquake <fanquake@gmail.com> | 2024-08-29 16:06:34 +0100 |
| commit | a865494deeff7dedcad7140299aee00ab3cdd62c (patch) | |
| tree | db2e594cfba80187b82f8e0d6de29d17b5fbc181 | |
| parent | b02f29e7efa5043791a6574a3f0355750aab1ea1 (diff) | |
lint: remove autotools packages
| -rwxr-xr-x | ci/lint/04_install.sh | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/ci/lint/04_install.sh b/ci/lint/04_install.sh index acec2f32e9..655db50361 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 |