aboutsummaryrefslogtreecommitdiff
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
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.)
-rwxr-xr-xci/lint/04_install.sh2
-rw-r--r--test/lint/test_runner/src/main.rs1
2 files changed, 2 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
diff --git a/test/lint/test_runner/src/main.rs b/test/lint/test_runner/src/main.rs
index 9c35898c1f..cb8f3031e2 100644
--- a/test/lint/test_runner/src/main.rs
+++ b/test/lint/test_runner/src/main.rs
@@ -410,6 +410,7 @@ fn lint_markdown() -> LintResult {
"--offline",
"--ignore-path",
md_ignore_path_str.as_str(),
+ "--gitignore",
"--root-dir",
".",
])