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 7c7c356..3da74d2 100644 --- a/core/core.mk +++ b/core/core.mk @@ -55,6 +55,10 @@ gen_verbose_0 = @echo " GEN " $@; gen_verbose_2 = set -x; gen_verbose = $(gen_verbose_$(V)) +gen_verbose_esc_0 = @echo " GEN " $$@; +gen_verbose_esc_2 = set -x; +gen_verbose_esc = $(gen_verbose_esc_$(V)) + # Temporary files directory. ERLANG_MK_TMP ?= $(CURDIR)/.erlang.mk |