Commit graph

2 commits

Author SHA1 Message Date
Marco Ferrari
92e9cb3c85
build: fail on errors when installing chktex (#5214)
Refactor the chktex installation scripts because lists of commands don't
fail if one of them exits with an error, even if set -e (errexit) is
set.

See the Bash reference manual, section 4.3.1 'The Set Builtin'.
2024-02-05 10:31:43 +01:00
Marco Ferrari
690d422fd6
build: install chktex (#5074)
Install chktex directly instead of using a third-party container image.
2023-12-30 16:07:07 +01:00