2 Commits

Author	SHA1	Message	Date
Marian Buschsieweke	922d8c8b9f	dist/tools/insufficient_memory: always update Makefile.ci ... 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.	2023-12-01 16:08:29 +01:00
Benjamin Valentin	bff06a4d64	tools: add add_insufficient_memory_board.sh script ... This adds a script that automatically compiles all examples & tests for a given board and updates Makefile.ci if necessary.	2019-11-12 13:52:15 +01:00