From ac55f40f08860d21201aaa1d75ae60c20539d29e Mon Sep 17 00:00:00 2001
From: Marcus Holland-Moritz <github@mhxnet.de>
Date: Tue, 21 Nov 2023 17:06:15 +0100
Subject: [PATCH] chore: verbose ninja logging to figure out reason for
 rebuilds

---
 .docker/build-linux.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.docker/build-linux.sh b/.docker/build-linux.sh
index 4063124ac..d9d348f71 100644
--- a/.docker/build-linux.sh
+++ b/.docker/build-linux.sh
@@ -15,7 +15,7 @@ cd build
 
 case "-$BUILD_TYPE-" in
   *-ninja-*)
-    BUILD_TOOL=ninja
+    BUILD_TOOL="ninja -d explain -v"
     CMAKE_ARGS="-GNinja"
     ;;
   *-make-*)