mirror of
https://github.com/godotengine/godot.git
synced 2025-10-19 07:53:26 +00:00
SCons: Update mypy
This commit is contained in:
parent
6882e5042d
commit
8cd984b3cb
4 changed files with 8 additions and 4 deletions
|
@ -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)
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue