diff options
| author | Jiri Suchan <yed@vanyli.net> | 2022-08-23 22:21:46 +0900 |
|---|---|---|
| committer | Jiri Suchan <yed@vanyli.net> | 2022-09-30 19:03:17 +0700 |
| commit | c5bd2f9dce17f3e6bf7d9681243e2743633db6f0 (patch) | |
| tree | 5cc835252cc999d086deaf05f3821ef3ce9e37e8 /platform/linuxbsd | |
| parent | f47979f0874b2ca6134e71575fbb359c6cc5ced0 (diff) | |
ci: add Python static analysis check via mypy
Diffstat (limited to 'platform/linuxbsd')
| -rw-r--r-- | platform/linuxbsd/detect.py | 7 |
1 files changed, 6 insertions, 1 deletions
diff --git a/platform/linuxbsd/detect.py b/platform/linuxbsd/detect.py index 92af7e2d75..dfde0d249c 100644 --- a/platform/linuxbsd/detect.py +++ b/platform/linuxbsd/detect.py @@ -4,6 +4,11 @@ import sys from methods import get_compiler_version, using_gcc from platform_methods import detect_arch +from typing import TYPE_CHECKING + +if TYPE_CHECKING: + from SCons import Environment + def is_active(): return True @@ -55,7 +60,7 @@ def get_flags(): ] -def configure(env): +def configure(env: "Environment"): # Validate arch. supported_arches = ["x86_32", "x86_64", "arm32", "arm64", "rv64", "ppc32", "ppc64"] if env["arch"] not in supported_arches: |