From 260079b5c4fdb5b90dc2920c93d84e32a250f4ed Mon Sep 17 00:00:00 2001
From: Michael Mueller <michael.mueller@uos.de>
Date: Mon, 7 Aug 2023 17:57:34 +0200
Subject: [PATCH] Print directory when VERBOSE= is given on make cmdline.

---
 repos/base/mk/global.mk | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/repos/base/mk/global.mk b/repos/base/mk/global.mk
index 75cfaff415..3cc0575317 100644
--- a/repos/base/mk/global.mk
+++ b/repos/base/mk/global.mk
@@ -255,7 +255,7 @@ ALL_INC_DIR += $(LIBGCC_INC_DIR)
 ALL_INC_DIR += $(HOST_INC_DIR)
 
 VERBOSE     ?= @
-VERBOSE_DIR ?= --no-print-directory
+VERBOSE_DIR ?= --print-directory
 
 MSG_LINK     ?= @$(ECHO) "    LINK     "
 MSG_COMP     ?= @$(ECHO) "    COMPILE  "