RIOT-OS/RIOT
RIOT-OS/RIOT
1
0
Fork 0
mirror of https://github.com/RIOT-OS/RIOT.git synced 2024-12-29 04:50:03 +01:00
Code Releases Activity

Merge pull request #15320 from benpicco/tools/insufficient_memory-nodocker

Browse Source 
tools/insufficient_memory: restore build with no docker
This commit is contained in:
Alexandre Abadie 2020-10-30 16:43:47 +01:00 committed by GitHub
commit 9222b72f8b
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 14 additions and 6 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

20
dist/tools/insufficient_memory/add_insufficient_memory_board.sh vendored
View File

@ -7,6 +7,8 @@
# directory for more details.
#
MAKE_ARGS="-j4"
if [ -z $1 ]; then
echo "usage: $0 <board>"
exit 1
@ -30,21 +32,27 @@ else
CRESET=
fi
if [ "$1" == "--no-docker" ]; then
LOCAL_MAKE_ARGS=${MAKE_ARGS}
shift 1
else
# Use a standardized build within Docker and with minimal output
export DOCKER_MAKE_ARGS=${MAKE_ARGS}
export BUILD_IN_DOCKER=1
fi
export RIOT_CI_BUILD=1
BOARD=$1
RIOTBASE=$(dirname $0)/../../..
APPLICATIONS+=examples/*/Makefile
APPLICATIONS+=" "
APPLICATIONS+=tests/*/Makefile
# Use a standardized build within Docker and with minimal output
export BUILD_IN_DOCKER=1
export DOCKER_MAKE_ARGS="-j4"
export RIOT_CI_BUILD=1
for app in ${APPLICATIONS}; do
application=$(dirname ${app})
printf "${CNORMAL}%-40s${CRESET}" ${application}
output=$(make BOARD=${BOARD} -C ${RIOTBASE}/${application} 2>&1)
output=$(make BOARD=${BOARD} ${LOCAL_MAKE_ARGS} -C ${RIOTBASE}/${application} 2>&1)
if [ $? != 0 ]; then
if echo ${output} | grep -e overflowed -e "not within region" > /dev/null; then
printf "${CBIG}%s${CRESET}\n" "too big"