summaryrefslogtreecommitdiffstats
path: root/python/mypy.ini
diff options
context:
space:
mode:
authorJohn Snow2020-10-09 19:51:21 +0200
committerJohn Snow2020-10-20 15:37:57 +0200
commitc3a404d3be115f2429a6608a1bbd74623db294bb (patch)
treecc0cbd69ed70c162307e7624fd69ff796f194bd8 /python/mypy.ini
parentpython/qemu/qmp.py: Preserve error context on re-raise (diff)
downloadqemu-c3a404d3be115f2429a6608a1bbd74623db294bb.tar.gz
qemu-c3a404d3be115f2429a6608a1bbd74623db294bb.tar.xz
qemu-c3a404d3be115f2429a6608a1bbd74623db294bb.zip
python: add mypy config
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 <jsnow@redhat.com> Message-id: 20201009175123.249009-2-jsnow@redhat.com [Edit: Added newline; thanks Bin Meng --js] Signed-off-by: John Snow <jsnow@redhat.com>
Diffstat (limited to 'python/mypy.ini')
-rw-r--r--python/mypy.ini4
1 files changed, 4 insertions, 0 deletions
diff --git a/python/mypy.ini b/python/mypy.ini
new file mode 100644
index 0000000000..1a581c5f1e
--- /dev/null
+++ b/python/mypy.ini
@@ -0,0 +1,4 @@
+[mypy]
+strict = True
+python_version = 3.6
+warn_unused_configs = True