Merge pull request #85192 from Repiteo/scons-mypy-update
SCons: Update mypy
This commit is contained in:
commit
2df8c3c632
4 changed files with 8 additions and 4 deletions
3
.gitignore
vendored
3
.gitignore
vendored
|
@ -153,6 +153,9 @@ gmon.out
|
|||
# Kdevelop
|
||||
*.kdev4
|
||||
|
||||
# Mypy
|
||||
.mypy_cache
|
||||
|
||||
# Qt Creator
|
||||
*.config
|
||||
*.creator
|
||||
|
|
|
@ -199,7 +199,7 @@ def build_gles3_header(
|
|||
filename: str,
|
||||
include: str,
|
||||
class_suffix: str,
|
||||
optional_output_filename: str = None,
|
||||
optional_output_filename: Optional[str] = None,
|
||||
header_data: Optional[GLES3HeaderStruct] = None,
|
||||
):
|
||||
header_data = header_data or GLES3HeaderStruct()
|
||||
|
|
|
@ -114,7 +114,7 @@ def include_file_in_rd_header(filename: str, header_data: RDHeaderStruct, depth:
|
|||
|
||||
|
||||
def build_rd_header(
|
||||
filename: str, optional_output_filename: str = None, header_data: Optional[RDHeaderStruct] = None
|
||||
filename: str, optional_output_filename: Optional[str] = None, header_data: Optional[RDHeaderStruct] = None
|
||||
) -> None:
|
||||
header_data = header_data or RDHeaderStruct()
|
||||
include_file_in_rd_header(filename, header_data, 0)
|
||||
|
@ -198,7 +198,7 @@ def include_file_in_raw_header(filename: str, header_data: RAWHeaderStruct, dept
|
|||
|
||||
|
||||
def build_raw_header(
|
||||
filename: str, optional_output_filename: str = None, header_data: Optional[RAWHeaderStruct] = None
|
||||
filename: str, optional_output_filename: Optional[str] = None, header_data: Optional[RAWHeaderStruct] = None
|
||||
):
|
||||
header_data = header_data or RAWHeaderStruct()
|
||||
include_file_in_raw_header(filename, header_data, 0)
|
||||
|
|
|
@ -1,6 +1,7 @@
|
|||
[mypy]
|
||||
ignore_missing_imports = true
|
||||
ignore_missing_imports = True
|
||||
disallow_any_generics = True
|
||||
no_implicit_optional = True
|
||||
pretty = True
|
||||
show_column_numbers = True
|
||||
warn_redundant_casts = True
|
||||
|
|
Loading…
Reference in a new issue