De-duplicate platform detection (#19603)

This commit is contained in:
Joel Challis
2023-01-19 00:27:00 +00:00
committed by GitHub
parent a1f253cbef
commit 0ce3f6bcfe
8 changed files with 21 additions and 18 deletions

View File

@@ -19,6 +19,7 @@ ifneq ($(CONVERT_TO),)
-include $(CONVERTER)/pre_converter.mk
PLATFORM_KEY = $(shell echo $(CONVERTER) | rev | cut -d "/" -f4 | rev)
TARGET := $(TARGET)_$(CONVERT_TO)
# Configure any defaults