mirror of
https://github.com/RIOT-OS/RIOT.git
synced 2024-12-29 04:50:03 +01:00
19 lines
434 B
Makefile
19 lines
434 B
Makefile
|
-include $(DIR)/Makefile.ci
|
||
|
|
|
||
|
|
define create_Makefile.ci
|
||
|
|
@echo "BOARD_INSUFFICIENT_MEMORY := \\" > $(1)
|
||
|
|
@for b in $(sort $(BOARD_INSUFFICIENT_MEMORY)); do echo " $$b \\" >> $(1); done
|
||
|
|
@echo " #" >> $(1)
|
||
|
|
endef
|
||
|
|
|
||
|
|
BOARD_INSUFFICIENT_MEMORY += $(BOARD)
|
||
|
|
|
||
|
|
.PHONY: Makefile.ci
|
||
|
|
ifeq ($(BOARD_INSUFFICIENT_MEMORY),)
|
||
|
|
Makefile.ci:
|
||
|
|
@echo "skipping empty Makefile.ci"
|
||
|
|
else
|
||
|
|
Makefile.ci:
|
||
|
|
$(call create_Makefile.ci, $(DIR)/Makefile.ci)
|
||
|
|
endif
|