From 4c60a5953db678bb108076899b7ce45a0f35206c Mon Sep 17 00:00:00 2001
From: Kaspar Schleiser <kaspar@schleiser.de>
Date: Wed, 14 Sep 2022 20:40:07 +0200
Subject: [PATCH] murdock: give more insight on "makefile_broken"

---
 .murdock | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.murdock b/.murdock
index b009efbe3c..edbd08ad47 100755
--- a/.murdock
+++ b/.murdock
@@ -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