diff options
| author | Fedja Beader <fedja@protonmail.ch> | 2025-02-10 17:16:50 +0000 |
|---|---|---|
| committer | Fedja Beader <fedja@protonmail.ch> | 2025-02-10 17:16:50 +0000 |
| commit | 901c586e5d046c2c2aa684cf977141ba474c1368 (patch) | |
| tree | 47ee7de9a59e6d1ef956f344e37588a11bbe2c35 /tools | |
| parent | 78430c4bd86412a4b011632135c4eca71a435a1d (diff) | |
| download | plus-901c586e5d046c2c2aa684cf977141ba474c1368.tar.gz plus-901c586e5d046c2c2aa684cf977141ba474c1368.tar.bz2 plus-901c586e5d046c2c2aa684cf977141ba474c1368.tar.xz plus-901c586e5d046c2c2aa684cf977141ba474c1368.zip | |
Fix cpplint.py part of linters CI job
Google has removed cpplint.py three weeks ago and this has been silently failing since then.
See also mana/plus!123
****
mana/plus!122
Diffstat (limited to 'tools')
| -rwxr-xr-x | tools/ci/jobs/cpplint.sh | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/tools/ci/jobs/cpplint.sh b/tools/ci/jobs/cpplint.sh index 7bbccf271..b51694b3b 100755 --- a/tools/ci/jobs/cpplint.sh +++ b/tools/ci/jobs/cpplint.sh @@ -7,8 +7,10 @@ source ./tools/ci/scripts/init.sh # Re-download if not executable or older than a day if [[ ! -x cpplint.py \ || $(find cpplint.py -mtime 1 -print) ]]; then - tools/ci/scripts/retry.sh wget "https://raw.githubusercontent.com/google/styleguide/gh-pages/cpplint/cpplint.py" - chmod +x cpplint.py + #tools/ci/scripts/retry.sh wget "https://raw.githubusercontent.com/google/styleguide/gh-pages/cpplint/cpplint.py" + # Google no longer offers their cpplint and suggests using the following one, instead: + tools/ci/scripts/retry.sh wget "https://raw.githubusercontent.com/cpplint/cpplint/refs/tags/1.6.1/cpplint.py" + chmod +x cpplint.py fi declare -a args |