diff options
Diffstat (limited to 'Tools/wasm/mypy.ini')
| -rw-r--r-- | Tools/wasm/mypy.ini | 5 |
1 files changed, 1 insertions, 4 deletions
diff --git a/Tools/wasm/mypy.ini b/Tools/wasm/mypy.ini index c62598f89eb..4de0a30c260 100644 --- a/Tools/wasm/mypy.ini +++ b/Tools/wasm/mypy.ini @@ -1,5 +1,5 @@ [mypy] -files = Tools/wasm +files = Tools/wasm/wasm_*.py pretty = True show_traceback = True @@ -9,6 +9,3 @@ python_version = 3.8 # Be strict... strict = True enable_error_code = truthy-bool,ignore-without-code - -# except for incomplete defs, which are useful for module authors: -disallow_incomplete_defs = False |