From 86fc21cd3bdb90ecf368c6febe6e0e39b27f17fe Mon Sep 17 00:00:00 2001 From: Gilles Peskine Date: Fri, 11 Dec 2020 00:33:05 +0100 Subject: [PATCH] mypy: support mbedtls_dev.foo 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 --- .mypy.ini | 1 + 1 file changed, 1 insertion(+) diff --git a/.mypy.ini b/.mypy.ini index 31d92ccd2..6b831ddb7 100644 --- a/.mypy.ini +++ b/.mypy.ini @@ -1,3 +1,4 @@ [mypy] mypy_path = scripts +namespace_packages = True warn_unused_configs = True