1
0
mirror of https://github.com/RIOT-OS/RIOT.git synced 2025-12-25 06:23:53 +01:00

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

dist/tools/insufficient_memory: add RISC-V failure mode
This commit is contained in:
Marian Buschsieweke 2024-02-12 15:43:31 +00:00 committed by GitHub
commit 2c78b7d5d3
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194
2 changed files with 2 additions and 0 deletions

View File

@ -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}"

View File

@ -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