mirror of
https://github.com/RIOT-OS/RIOT.git
synced 2024-12-29 04:50:03 +01:00
922d8c8b9f
Previously the `add_insufficient_memory_board.sh` script would only add the tested board to `Makefile.ci` when resource requirements grew, but never remove it when resource requirements got lower. This updates the script to also remove boards from `Makefile.ci` if it is no longer needed. It is also rename (`add` --> `update`) to match the change in behavior.
20 lines
528 B
Makefile
20 lines
528 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 += $(ADD_BOARDS)
|
|
BOARD_INSUFFICIENT_MEMORY := $(filter-out $(REMOVE_BOARDS),$(BOARD_INSUFFICIENT_MEMORY))
|
|
|
|
.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
|