diff options
Diffstat (limited to 'core/core.mk')
-rw-r--r-- | core/core.mk | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/core/core.mk b/core/core.mk index 27e8a87..85bf65f 100644 --- a/core/core.mk +++ b/core/core.mk @@ -47,6 +47,10 @@ verbose_0 = @ verbose_2 = set -x; verbose = $(verbose_$(V)) +ifeq ($(V),3) +SHELL := $(SHELL) -x +endif + gen_verbose_0 = @echo " GEN " $@; gen_verbose_2 = set -x; gen_verbose = $(gen_verbose_$(V)) |