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

murdock: give more insight on "makefile_broken"

This commit is contained in:
Kaspar Schleiser 2022-09-14 20:40:07 +02:00
parent 276195e0ff
commit 4c60a5953d

View File

@ -379,7 +379,7 @@ get_app_board_toolchain_pairs() {
local prefix="$*"
if [ "$boards" = makefile_broken ]; then
echo "$appdir makefile_broken"
echo "$0 error \"error: ${DWQ_WORKER}: get_supported_boards failed in $appdir\""
return
fi