commit 188325f1527de9e5d468c60942cacde44f333d93
author Gilles Peskine <Gilles.Peskine@arm.com> Mon Sep 16 18:50:27 2024 +0200
committer Gilles Peskine <Gilles.Peskine@arm.com> Tue Oct 01 19:32:55 2024 +0200
tree b6e1560b9e2a199be17e222a94262c13510f02b4
parent 55b43e5cfbc498872bb0d69395d93508cc286ce8

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>

.mypy.ini

diff --git a/.mypy.ini b/.mypy.ini
index 6b831dd..f727cc2 100644
--- a/.mypy.ini
+++ b/.mypy.ini
@@ -1,4 +1,4 @@
 [mypy]
-mypy_path = scripts
+mypy_path = framework/scripts:scripts
 namespace_packages = True
 warn_unused_configs = True

.pylintrc

diff --git a/.pylintrc b/.pylintrc
index f395fb9..f9c97d5 100644
--- a/.pylintrc
+++ b/.pylintrc
@@ -1,5 +1,5 @@
 [MASTER]
-init-hook='import sys; sys.path.append("scripts")'
+init-hook='import sys; sys.path.append("scripts"); sys.path.append("framework/scripts")'
 min-similarity-lines=10
 
 [BASIC]