commit | dddaf0c625a8daea4d027cb57380b7fac6f58285 | [log] [tgz] |
---|---|---|
author | Cosmin Truta <ctruta@gmail.com> | Sat Feb 17 16:32:21 2024 +0200 |
committer | Cosmin Truta <ctruta@gmail.com> | Sat Feb 17 16:32:21 2024 +0200 |
tree | 6695252289a195e0e62f4f1907eafb3a0c88817f | |
parent | 72c4520d3c49cf1db439d835264b21c1aafaa9aa [diff] |
ci: Fix the reporting in ci_lint.sh The variable `CI_LINT_COUNTER` was incremented inside subshells, but remained unchanged in the main shell process. The errors detected by the internal linters remained unreported by the main script. (Oopsie!) Besides fixing this defect, considering that only a pass/fail status is needed, we are replacing `CI_LINT_COUNTER` with `CI_LINT_STATUS`.