diff options
| author | MarcoFalke <falke.marco@gmail.com> | 2020-12-17 11:42:09 +0100 |
|---|---|---|
| committer | MarcoFalke <falke.marco@gmail.com> | 2020-12-18 07:40:57 +0100 |
| commit | faeb40bee3bca9477785659d89af53cafa2333b5 (patch) | |
| tree | 5e3e4ca3f5832d4d34c378416f59cccf26d00e23 /ci/lint | |
| parent | 9b28bd73a33bdadbc5ac44b101edb58418aee6c3 (diff) | |
ci: Install missing lint packages
Also merge script into ci/lint_run_all.sh because env vars weren't
exported properly
Diffstat (limited to 'ci/lint')
| -rwxr-xr-x | ci/lint/04_install.sh | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/ci/lint/04_install.sh b/ci/lint/04_install.sh index 43d33b3f3b..389a089720 100755 --- a/ci/lint/04_install.sh +++ b/ci/lint/04_install.sh @@ -6,7 +6,8 @@ export LC_ALL=C -${CI_RETRY_EXE} apt update && apt install -y clang-format-9 python3-pip curl git +${CI_RETRY_EXE} apt-get update +${CI_RETRY_EXE} apt-get install -y clang-format-9 python3-pip curl git gawk jq 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 |