diff options
Diffstat (limited to 'make/target.mk')
| -rw-r--r-- | make/target.mk | 33 |
1 files changed, 33 insertions, 0 deletions
diff --git a/make/target.mk b/make/target.mk new file mode 100644 index 0000000000..06e895df90 --- /dev/null +++ b/make/target.mk @@ -0,0 +1,33 @@ +ifeq ($(OVERRIDE_TARGET),) + +ifeq ($(TARGET),) + +TARGET := $(shell $(ERL_TOP)/erts/autoconf/config.guess) + +else + +endif + +else + +ifneq ($(TARGET),) + +ifneq ($(TARGET), $(OVERRIDE_TARGET)) +$(warning overriding $$(TARGET) = \ + "$(TARGET)" \ + with \ + $$(OVERRIDE_TARGET) = \ + "$(OVERRIDE_TARGET)") +else +endif + +override TARGET := $(OVERRIDE_TARGET) + +else + +TARGET := $(OVERRIDE_TARGET) + +endif + +endif + |