diff options
| author | Ignacio Roldán Etcheverry <neikeq@users.noreply.github.com> | 2022-08-25 01:24:19 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-08-25 01:24:19 +0200 |
| commit | 6e390fa9abf2101f8772c4ef6694471153105636 (patch) | |
| tree | c0bf783d7c62036055af05e1a7e922dfe3219ac4 /modules/mono/build_scripts/mono_configure.py | |
| parent | ca5c3d6df967d8b9559c3f5e8a1476cc72b72a96 (diff) | |
| parent | 09551c3d2b40272b3b8a82f20e81a8bd66307e3e (diff) | |
Merge pull request #64846 from aaronfranke/no-server
Remove mentions of the Server platform from the Mono module
Diffstat (limited to 'modules/mono/build_scripts/mono_configure.py')
| -rw-r--r-- | modules/mono/build_scripts/mono_configure.py | 5 |
1 files changed, 2 insertions, 3 deletions
diff --git a/modules/mono/build_scripts/mono_configure.py b/modules/mono/build_scripts/mono_configure.py index c7f9b39b48..556c8e1563 100644 --- a/modules/mono/build_scripts/mono_configure.py +++ b/modules/mono/build_scripts/mono_configure.py @@ -3,11 +3,11 @@ import os.path def is_desktop(platform): - return platform in ["windows", "macos", "linuxbsd", "server", "uwp", "haiku"] + return platform in ["windows", "macos", "linuxbsd", "uwp", "haiku"] def is_unix_like(platform): - return platform in ["macos", "linuxbsd", "server", "android", "haiku", "ios"] + return platform in ["macos", "linuxbsd", "android", "haiku", "ios"] def module_supports_tools_on(platform): @@ -132,7 +132,6 @@ def determine_runtime_identifier(env): "windows": "win", "macos": "osx", "linuxbsd": "linux", - "server": "linux", # FIXME: Is server linux only, or also macos? } # .NET RID architectures: x86, x64, arm, or arm64 |