diff options
Diffstat (limited to 'ci/lint/04_install.sh')
| -rwxr-xr-x | ci/lint/04_install.sh | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/ci/lint/04_install.sh b/ci/lint/04_install.sh index 25787ce41c..2b57411c3f 100755 --- a/ci/lint/04_install.sh +++ b/ci/lint/04_install.sh @@ -8,6 +8,13 @@ export LC_ALL=C ${CI_RETRY_EXE} apt-get update ${CI_RETRY_EXE} apt-get install -y clang-format-9 python3-pip curl git gawk jq +( + # Temporary workaround for https://github.com/bitcoin/bitcoin/pull/26130#issuecomment-1260499544 + # Can be removed once the underlying image is bumped to something that includes git2.34 or later + sed -i -e 's/bionic/jammy/g' /etc/apt/sources.list + ${CI_RETRY_EXE} apt-get update + ${CI_RETRY_EXE} apt-get install -y --reinstall git +) update-alternatives --install /usr/bin/clang-format clang-format "$(which clang-format-9 )" 100 update-alternatives --install /usr/bin/clang-format-diff clang-format-diff "$(which clang-format-diff-9)" 100 |