X-Git-Url: https://rtime.felk.cvut.cz/gitweb/l4.git/blobdiff_plain/67d10e76e1e5d38d6624679c59e192ee897de76f..615241fa4695499799cebfd8a6dc8d90f3a93f13:/l4/mk/Makeconf

diff --git a/l4/mk/Makeconf b/l4/mk/Makeconf
index aafc292e7..dfc000413 100644
--- a/l4/mk/Makeconf
+++ b/l4/mk/Makeconf
@@ -173,7 +173,7 @@ MKDIR		= mkdir -p
 MKFLAGS		+=$(MKFLAGS_$@)
 NM		= $(SYSTEM_TARGET)nm
 OBJCOPY		= $(SYSTEM_TARGET)objcopy
-PKG_CONFIG      = PKG_CONFIG_PATH= pkg-config --silence-errors
+PKG_CONFIG      = pkg-config $(if $(VERBOSE),--silence-errors)
 PWDCMD		= sh -c pwd
 RANLIB		= $(SYSTEM_TARGET)ranlib
 RM		= rm -f