1
0
mirror of https://github.com/RIOT-OS/RIOT.git synced 2024-12-29 04:50:03 +01:00
RIOT/dist/tools/buildsystem_sanity_check
Marian Buschsieweke 2c996057c4
dist/tools: Check BOARD_INSUFFICIENT_MEMORY usage
Enforce BOARD_INSUFFICIENT_MEMORY is not managed in the Makefile in the examples
2019-10-15 09:55:07 +02:00
..
check.sh dist/tools: Check BOARD_INSUFFICIENT_MEMORY usage 2019-10-15 09:55:07 +02:00
save_all_dependencies_resolution_variables.sh buildsystem_sanity_check: script to save deps resolution variables 2019-10-07 14:47:34 +02:00