mirror of
https://github.com/RIOT-OS/RIOT.git
synced 2024-12-29 04:50:03 +01:00
murdock: pass on makefile error in get_app_board_toolchain_pairs()
This commit is contained in:
parent
f7cdbdaab0
commit
87a81d224a
9
.murdock
9
.murdock
@ -109,7 +109,14 @@ get_supported_toolchains() {
|
||||
# supported board and toolchain. Only print for boards in $BOARDS.
|
||||
get_app_board_toolchain_pairs() {
|
||||
local appdir=$1
|
||||
for board in $(get_supported_boards $appdir)
|
||||
local boards="$(get_supported_boards $appdir)"
|
||||
|
||||
if [ "$boards" = makefile_broken ]; then
|
||||
echo "$appdir makefile_broken"
|
||||
return
|
||||
fi
|
||||
|
||||
for board in ${boards}
|
||||
do
|
||||
for toolchain in $(get_supported_toolchains $appdir $board)
|
||||
do
|
||||
|
Loading…
Reference in New Issue
Block a user