diff options
| author | Fedja Beader <fedja@protonmail.ch> | 2025-02-10 21:03:17 +0000 |
|---|---|---|
| committer | Fedja Beader <fedja@protonmail.ch> | 2025-02-10 21:03:17 +0000 |
| commit | 98f7cf6e5893ecf5ab224194cee5f671253f8d1d (patch) | |
| tree | 05a0222fde90884146da95b00ad96e69149a462d /tools | |
| parent | 81207f0ee92593b70047585fa1d609dc6a862e98 (diff) | |
| download | plus-98f7cf6e5893ecf5ab224194cee5f671253f8d1d.tar.gz plus-98f7cf6e5893ecf5ab224194cee5f671253f8d1d.tar.bz2 plus-98f7cf6e5893ecf5ab224194cee5f671253f8d1d.tar.xz plus-98f7cf6e5893ecf5ab224194cee5f671253f8d1d.zip | |
Upgrade cpplint to latest release
+Update CI job from Debian Buster to Bullseye. Buster's Py3.7 is too old for cpplint.
Squashed with:
* Update linters job to debian bullseye
* Force use of python3
* Try upgrade to python3. Other scripts will probably break.
****
mana/plus!124
Diffstat (limited to 'tools')
| -rwxr-xr-x | tools/ci/jobs/cpplint.sh | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/tools/ci/jobs/cpplint.sh b/tools/ci/jobs/cpplint.sh index 8bf769457..c8e709fbe 100755 --- a/tools/ci/jobs/cpplint.sh +++ b/tools/ci/jobs/cpplint.sh @@ -11,8 +11,11 @@ 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" # 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" + tools/ci/scripts/retry.sh wget "https://raw.githubusercontent.com/cpplint/cpplint/refs/tags/2.0.0/cpplint.py" chmod +x cpplint.py + + # env python -> env python3 + sed -i -s -e '1s/python$/python3/' cpplint.py fi declare -a args |