| #!/bin/bash | |
| # Copyright lowRISC contributors. | |
| # Licensed under the Apache License, Version 2.0, see LICENSE for details. | |
| # SPDX-License-Identifier: Apache-2.0 | |
| # Run mypy to do Python linting on code that uses it | |
| set -e | |
| dirs_with_lint_makefile=( | |
| hw/ip/otbn/dv/rig | |
| hw/ip/otbn/dv/otbnsim | |
| hw/ip/otbn/util | |
| ) | |
| retcode=0 | |
| for dir in "${dirs_with_lint_makefile[@]}"; do | |
| make -C "$dir" lint || { | |
| echo -n "##vso[task.logissue type=error]" | |
| echo "Failed mypy check in ${dir}." | |
| retcode=1 | |
| } | |
| done | |
| exit $retcode |