kaspar/RIOT
1
0
Fork 0
mirror of https://github.com/RIOT-OS/RIOT.git synced 2026-01-01 01:41:18 +01:00
Code Releases Activity

dist/tools: Check BOARD_INSUFFICIENT_MEMORY usage

Browse Source 
- Enforce that all applications do not manage BOARD_INSUFFICIENT_MEMORY in the
  Makefile
- Match also "BOARD_INSUFFICIENT_MEMORY +=", not only
  "BOARD_INSUFFICIENT_MEMORY :=" or "BOARD_INSUFFICIENT_MEMORY =".
This commit is contained in:
Marian Buschsieweke 2019-10-17 11:30:58 +02:00
parent fd6fedaab6
commit b6d23b56ae
No known key found for this signature in database
GPG Key ID: 61F64C6599B1539F
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
dist/tools/buildsystem_sanity_check/check.sh vendored
View File

@ -178,9 +178,9 @@ check_board_insufficient_memory_not_in_makefile() {
local patterns=()
local pathspec=()
patterns+=(-e '^[[:space:]]*BOARD_INSUFFICIENT_MEMORY[[:space:]:]*=')
patterns+=(-e '^[[:space:]]*BOARD_INSUFFICIENT_MEMORY[[:space:]:+]*=')
pathspec+=('examples*/Makefile')
pathspec+=('**/Makefile')
git -C "${RIOTBASE}" grep "${patterns[@]}" -- "${pathspec[@]}" \
| error_with_message 'Move BOARD_INSUFFICIENT_MEMORY to Makefile.ci'