aboutsummaryrefslogtreecommitdiff
path: root/.mypy.ini
AgeCommit message (Collapse)AuthorFilesLines
2020-12-11mypy: support mbedtls_dev.fooGilles Peskine1-0/+1
Tell mypy to support packages without an __init__.py (PEP 420 namespace packages). Python 3.3 and (modern) Pylint support them out of the box, but mypy needs to be told to support them. Signed-off-by: Gilles Peskine <Gilles.Peskine@arm.com>
2020-12-10Allow tests/scripts/foo.py to import from scriptsGilles Peskine1-0/+3
Allow Python scripts in tests/scripts to import modules located in the scripts directory. To do this, use ``` import scripts_path # pylint: disable=unused-import ``` Declare the scripts directory to pylint and to mypy. Signed-off-by: Gilles Peskine <Gilles.Peskine@arm.com>