[PATCH 20/20] python: add mypy config

2020-10-06 Thread John Snow
Formalize the options used for checking the python library. You can run mypy from the directory that mypy.ini is in by typing `mypy qemu/`. Signed-off-by: John Snow --- python/mypy.ini | 4 1 file changed, 4 insertions(+) create mode 100644 python/mypy.ini diff --git a/python/mypy.ini b/p

Re: [PATCH 20/20] python: add mypy config

2020-10-07 Thread Kevin Wolf
Am 07.10.2020 um 01:58 hat John Snow geschrieben: > Formalize the options used for checking the python library. You can run > mypy from the directory that mypy.ini is in by typing `mypy qemu/`. > > Signed-off-by: John Snow > --- > python/mypy.ini | 4 > 1 file changed, 4 insertions(+) > cr

Re: [PATCH 20/20] python: add mypy config

2020-10-07 Thread John Snow
On 10/7/20 7:35 AM, Kevin Wolf wrote: Am 07.10.2020 um 01:58 hat John Snow geschrieben: Formalize the options used for checking the python library. You can run mypy from the directory that mypy.ini is in by typing `mypy qemu/`. Signed-off-by: John Snow --- python/mypy.ini | 4 1 file c