diff options
-rw-r--r-- | instsetoo_native/CustomTarget_install.mk | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/instsetoo_native/CustomTarget_install.mk b/instsetoo_native/CustomTarget_install.mk index ffedb20c49f7..5045b5ae9717 100644 --- a/instsetoo_native/CustomTarget_install.mk +++ b/instsetoo_native/CustomTarget_install.mk @@ -88,8 +88,7 @@ $(foreach pkgformat,$(5),\ ) \ $(4) \ -format $(pkgformat) \ - $(if $(filter TRUE,$(VERBOSE)),-verbose, \ - $(if $(findstring s,$(MAKEFLAGS)),-quiet)) \ + $(if $(VERBOSE)$(verbose),-verbose,-quiet) \ ) endef |