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-*)