From ecf760f4b5ef1a78a1142909227dd0f254f01787 Mon Sep 17 00:00:00 2001
From: Michael Mueller <michael.mueller@uos.de>
Date: Mon, 7 Aug 2023 18:11:32 +0200
Subject: [PATCH] Print directories for verbose build to create build.log for
 vscode.

---
 tool/builddir/build.mk   | 2 +-
 tool/depot/mk/common.inc | 2 +-
 tool/ports/prepare_port  | 2 +-
 3 files changed, 3 insertions(+), 3 deletions(-)

diff --git a/tool/builddir/build.mk b/tool/builddir/build.mk
index ed31c74654..9e53c3a9cc 100644
--- a/tool/builddir/build.mk
+++ b/tool/builddir/build.mk
@@ -64,7 +64,7 @@ INSTALL_DIR    := $(CURDIR)/bin
 export BASE_DIR         ?= ../base
 export REPOSITORIES     ?= $(BASE_DIR:%base=%base-linux) $(BASE_DIR)
 export VERBOSE          ?= @
-export VERBOSE_DIR      ?= --no-print-directory
+export VERBOSE_DIR      ?= --print-directory
 export VERBOSE_MK       ?= @
 export LIB_CACHE_DIR    ?= $(BUILD_BASE_DIR)/var/libcache
 export LIB_PROGRESS_LOG ?= $(BUILD_BASE_DIR)/progress.log
diff --git a/tool/depot/mk/common.inc b/tool/depot/mk/common.inc
index 29606ee4d8..4385bdbc93 100644
--- a/tool/depot/mk/common.inc
+++ b/tool/depot/mk/common.inc
@@ -9,7 +9,7 @@ VERBOSE ?= @
 ECHO    := echo -e
 HASHSUM := sha1sum
 
-MAKEFLAGS += --no-print-directory
+MAKEFLAGS += --print-directory
 
 BRIGHT_COL  ?= \x1b[01;33m
 DARK_COL    ?= \x1b[00;33m
diff --git a/tool/ports/prepare_port b/tool/ports/prepare_port
index d95f49d9b0..88e403bc7e 100755
--- a/tool/ports/prepare_port
+++ b/tool/ports/prepare_port
@@ -7,7 +7,7 @@
 #
 
 ifndef VERBOSE
-MAKEFLAGS += --no-print-directory
+MAKEFLAGS += --print-directory
 endif
 
 export GENODE_DIR := $(realpath $(dir $(MAKEFILE_LIST))/../..)