| commit | 86fc21cd3bdb90ecf368c6febe6e0e39b27f17fe | [log] [tgz] |
|---|---|---|
| author | Gilles Peskine <Gilles.Peskine@arm.com> | Fri Dec 11 00:33:05 2020 +0100 |
| committer | Gilles Peskine <Gilles.Peskine@arm.com> | Fri Dec 11 00:35:19 2020 +0100 |
| tree | d8724eb7e679cdeb840e7698c3e5e9bf5fe4834d | |
| parent | 2adebc89dabff2ab5ddf776f365f4e08dfbf6706 [diff] |
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 <Gilles.Peskine@arm.com>
diff --git a/.mypy.ini b/.mypy.ini index 31d92cc..6b831dd 100644 --- a/.mypy.ini +++ b/.mypy.ini
@@ -1,3 +1,4 @@ [mypy] mypy_path = scripts +namespace_packages = True warn_unused_configs = True