summaryrefslogtreecommitdiff
path: root/platform/web/detect.py
diff options
context:
space:
mode:
authorRémi Verschelde <rverschelde@gmail.com>2022-09-30 17:44:39 +0200
committerRémi Verschelde <rverschelde@gmail.com>2022-09-30 17:44:39 +0200
commitef8834a6420e9e9141c48d230a0a312a3aa2597e (patch)
tree6d65a5230a794e33f5cce71979d34bcab9e8b352 /platform/web/detect.py
parent28154b9a07d1eeb372e0757582dd913e2237da74 (diff)
parentc5bd2f9dce17f3e6bf7d9681243e2743633db6f0 (diff)
Merge pull request #64784 from yedpodtrzitko/yed/ci-add-mypy
ci: add Python static analysis check via mypy
Diffstat (limited to 'platform/web/detect.py')
-rw-r--r--platform/web/detect.py6
1 files changed, 5 insertions, 1 deletions
diff --git a/platform/web/detect.py b/platform/web/detect.py
index 77921847a8..08c1ff7b4a 100644
--- a/platform/web/detect.py
+++ b/platform/web/detect.py
@@ -11,6 +11,10 @@ from emscripten_helpers import (
)
from methods import get_compiler_version
from SCons.Util import WhereIs
+from typing import TYPE_CHECKING
+
+if TYPE_CHECKING:
+ from SCons import Environment
def is_active():
@@ -60,7 +64,7 @@ def get_flags():
]
-def configure(env):
+def configure(env: "Environment"):
# Validate arch.
supported_arches = ["wasm32"]
if env["arch"] not in supported_arches: