aboutsummaryrefslogtreecommitdiff
path: root/ci/lint
diff options
context:
space:
mode:
authorwillcl-ark <will@256k1.dev>2024-07-02 21:16:03 +0100
committerwillcl-ark <will@256k1.dev>2024-07-03 09:46:15 +0100
commit4d942547a8155cca4fe2f68afccdb822a174ab1a (patch)
treef14781d7938322a7347534d5886a37422dc23d49 /ci/lint
parent173ab0ccf2164dd8cd3d486559dffda0d4a1a813 (diff)
downloadbitcoin-4d942547a8155cca4fe2f68afccdb822a174ab1a.tar.xz
lint: ignore files ignored by git in mlc
Updating to MLC v0.18.0 includes a new feature which will ignore all files ignored by git: `--gitignore`. This helps avoid false-positives flagged by this linter in non-project files, such as a developer might expect to have in their directory (e.g. guix-builds, python venvs, etc.)
Diffstat (limited to 'ci/lint')
-rwxr-xr-xci/lint/04_install.sh2
1 files changed, 1 insertions, 1 deletions
diff --git a/ci/lint/04_install.sh b/ci/lint/04_install.sh
index 87e3a8fa9b..550c7b8c92 100755
--- a/ci/lint/04_install.sh
+++ b/ci/lint/04_install.sh
@@ -58,7 +58,7 @@ curl -sL "https://github.com/koalaman/shellcheck/releases/download/${SHELLCHECK_
tar --xz -xf - --directory /tmp/
mv "/tmp/shellcheck-${SHELLCHECK_VERSION}/shellcheck" /usr/bin/
-MLC_VERSION=v0.16.3
+MLC_VERSION=v0.18.0
MLC_BIN=mlc-x86_64-linux
curl -sL "https://github.com/becheran/mlc/releases/download/${MLC_VERSION}/${MLC_BIN}" -o "/usr/bin/mlc"
chmod +x /usr/bin/mlc