mirror of
https://github.com/Relintai/godot-mono-builds.git
synced 2024-11-14 10:27:25 +01:00
14 lines
705 B
Diff
14 lines
705 B
Diff
diff --git a/mcs/build/rules.make b/mcs/build/rules.make
|
|
index e57a636ef4d..60c60a8fc17 100644
|
|
--- a/mcs/build/rules.make
|
|
+++ b/mcs/build/rules.make
|
|
@@ -94,7 +94,7 @@ include $(topdir)/build/config-default.make
|
|
|
|
include $(topdir)/build/platforms/$(BUILD_PLATFORM).make
|
|
|
|
-PROFILE_PLATFORM = $(if $(PLATFORMS),$(if $(filter $(PLATFORMS),$(HOST_PLATFORM)),$(HOST_PLATFORM),$(error Unknown platform "$(HOST_PLATFORM)" for profile "$(PROFILE)")))
|
|
+PROFILE_PLATFORM ?= $(if $(PLATFORMS),$(if $(filter $(PLATFORMS),$(HOST_PLATFORM)),$(HOST_PLATFORM),$(error Unknown platform "$(HOST_PLATFORM)" for profile "$(PROFILE)")))
|
|
PROFILE_DIRECTORY = $(PROFILE)$(if $(PROFILE_PLATFORM),-$(PROFILE_PLATFORM))
|
|
|
|
# Useful
|