Merge pull request #20376 from maribu/dist/tools/insufficient_memory

dist/tools/insufficient_memory: add RISC-V failure mode
RIOT-OS · Feb 12, 2024 · 2c78b7d · 2c78b7d
2 parents b04a4bb + 3718f48
commit 2c78b7d
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 0 deletions.
diff --git a/dist/tools/insufficient_memory/create_makefile.ci.sh b/dist/tools/insufficient_memory/create_makefile.ci.sh
@@ -56,6 +56,7 @@ for BOARD in $(EXTERNAL_BOARD_DIRS="" make  --no-print-directory info-boards-sup
         if grep -e overflowed \
                 -e "not within region" \
                 -e "wraps around address space" \
+                -e "overlaps section" \
                 "$TMPFILE" > /dev/null; then
             printf "${CBIG}%s${CRESET}\n" "too big"
             BOARDS="${BOARDS} ${BOARD}"

diff --git a/dist/tools/insufficient_memory/update_insufficient_memory_board.sh b/dist/tools/insufficient_memory/update_insufficient_memory_board.sh
@@ -64,6 +64,7 @@ for application in ${APPLICATIONS}; do
         if grep -e overflowed \
                 -e "not within region" \
                 -e "wraps around address space" \
+                -e "overlaps section" \
                 "$TMPFILE" > /dev/null; then
             printf "${CBIG}%s${CRESET}\n" "too big"
             make -f "$(dirname "$0")"/Makefile.for_sh DIR="${RIOTBASE}/${application}" ADD_BOARDS="${BOARD}" Makefile.ci > /dev/null