86fc21cd3b
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>
4 lines
80 B
INI
4 lines
80 B
INI
[mypy]
|
|
mypy_path = scripts
|
|
namespace_packages = True
|
|
warn_unused_configs = True
|