diff options
Diffstat (limited to 'docker/scripts')
| -rwxr-xr-x | docker/scripts/lint.sh | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/docker/scripts/lint.sh b/docker/scripts/lint.sh index 998b2b9..4cca4d8 100755 --- a/docker/scripts/lint.sh +++ b/docker/scripts/lint.sh @@ -7,6 +7,8 @@ # 1. tools/lint_project.py: project rules (headers, no logging, no network, ...) # 2. ruff (lint + formatting) and mypy --strict on the Python tools # 3. tools/gen_products.py --check: the manifest's products meet the targets +# tools/check_resources.py: resource XML valid against the SDK's +# resources.xsd; settings, properties and strings agree # 4. Debug and release builds with strict type checking (-l 3) on each device; # build-app.sh fails on any compiler warning. set -euo pipefail @@ -26,6 +28,10 @@ ruff format --check /work/tools /work/spike log "product list" python3 /work/tools/gen_products.py --check +log "resource XML against the SDK schema, settings cross-check" +ciq_require_sdk +python3 /work/tools/check_resources.py /work + for device in "$@"; do build-app.sh debug "${device}" build-app.sh release "${device}" |