mirror of
https://github.com/mmueller41/genode.git
synced 2026-01-21 12:32:56 +01:00
Print directories for verbose build to create build.log for vscode.
This commit is contained in:
@@ -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
|
||||
|
||||
Reference in New Issue
Block a user