tree b6e1560b9e2a199be17e222a94262c13510f02b4
parent 55b43e5cfbc498872bb0d69395d93508cc286ce8
author Gilles Peskine <Gilles.Peskine@arm.com> 1726505427 +0200
committer Gilles Peskine <Gilles.Peskine@arm.com> 1727803975 +0200

Allow running pylint and mypy on a single file

Fix `mypy scripts/xxx.py`, `mypy tests/scripts/xxx.py`,
`pylint scripts/xxx.py`, `pylint tests/scripts/xxx.py`
failing to find `mbedtls_framework`.

Signed-off-by: Gilles Peskine <Gilles.Peskine@arm.com>