diff options
| author | Aaron Franke <arnfranke@yahoo.com> | 2022-08-24 13:05:23 -0500 |
|---|---|---|
| committer | Aaron Franke <arnfranke@yahoo.com> | 2022-08-24 14:56:40 -0500 |
| commit | 09551c3d2b40272b3b8a82f20e81a8bd66307e3e (patch) | |
| tree | 07b7fe3e86c73e2713f97199a95ac495c72f508f /modules/mono/build_scripts | |
| parent | d0a2a4c98195eb8a43713286b5b865dfbed05163 (diff) | |
Remove mentions of the Server platform from the Mono module
Diffstat (limited to 'modules/mono/build_scripts')
| -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 |