commit | 26d9d2c5469d02c51db22975f614c907172def80 | [log] [tgz] |
---|---|---|
author | Patrick Williams <patrick@stwcx.xyz> | Mon Dec 05 15:03:07 2022 -0600 |
committer | Patrick Williams <patrick@stwcx.xyz> | Mon Dec 05 15:17:59 2022 -0600 |
tree | 39276da21d286d87d929955364af5fbdb2fc29fb | |
parent | 3d29494c295ee8d5fb17c9be0866fa6c10edbbe6 [diff] |
format-code: halt on missing linter From a CI perspective, we want to halt if any of the tools are missing from the docker image, as a sanity check that we did not mess that up. Add an option (--allow-missing) that will simply warn and continue if any linters are missing, but halt by default. Signed-off-by: Patrick Williams <patrick@stwcx.xyz> Change-Id: I1e39fcf80512f86679a2352a5eb29155df08162f
Build script for CI jobs in Jenkins.