1
0
mirror of https://github.com/RIOT-OS/RIOT.git synced 2024-12-29 04:50:03 +01:00
RIOT/dist/tools/insufficient_memory
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
..
create_makefile.ci.sh dist/tools/insufficient_memory: always update Makefile.ci 2023-12-01 16:08:29 +01:00
Makefile.for_sh dist/tools/insufficient_memory: always update Makefile.ci 2023-12-01 16:08:29 +01:00
README.md tools: add add_insufficient_memory_board.sh script 2019-11-12 13:52:15 +01:00
update_insufficient_memory_board.sh dist/tools/insufficient_memory: always update Makefile.ci 2023-12-01 16:08:29 +01:00

add_insufficient_memory_board.sh

Usage: add_insufficient_memory_board.sh <board_name>

Updates Makefile.ci to include <board_name> if the memory of the board is not sufficient for the test/example.

For this the script will build every test and example to see if the result would fit into the memory of the specified board. If not the corresponding Makefile.ci is updated automatically.