diff options
| author | Rémi Verschelde <remi@verschelde.fr> | 2022-08-29 13:00:32 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-08-29 13:00:32 +0200 |
| commit | 322c812231fa28e72a7a316088a1dd6775e96f94 (patch) | |
| tree | 0ee981f72cd500614c4079f0e2b6f731abe4a4ee /modules/mono/build_scripts/mono_configure.py | |
| parent | 583c0c4897ca7ba669ab78d397fc894b718613ce (diff) | |
| parent | d20b32186fc192f5e527a1211291b0cb293f4e66 (diff) | |
Merge pull request #65023 from Faless/js/4.x_is_web
Diffstat (limited to 'modules/mono/build_scripts/mono_configure.py')
| -rw-r--r-- | modules/mono/build_scripts/mono_configure.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/modules/mono/build_scripts/mono_configure.py b/modules/mono/build_scripts/mono_configure.py index ef7dbabf66..c2d5452837 100644 --- a/modules/mono/build_scripts/mono_configure.py +++ b/modules/mono/build_scripts/mono_configure.py @@ -16,7 +16,7 @@ def module_supports_tools_on(platform): def configure(env, env_mono): # is_android = env["platform"] == "android" - # is_javascript = env["platform"] == "javascript" + # is_web = env["platform"] == "web" # is_ios = env["platform"] == "ios" # is_ios_sim = is_ios and env["arch"] in ["x86_32", "x86_64"] |