denshooter/genode
1
0
Fork 0
mirror of https://github.com/mmueller41/genode.git synced 2026-01-21 12:32:56 +01:00
Code Issues Packages Projects Releases Wiki Activity

Print directory when VERBOSE= is given on make cmdline.

Browse Source
This commit is contained in:
Michael Mueller
2023-08-07 17:57:34 +02:00
parent 550c376e40
commit 260079b5c4
1 changed files with 1 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
repos/base/mk/global.mk
View File

@@ -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 "