From e4151c1d55fca67dd6edb00bd812ce47b9e5b475 Mon Sep 17 00:00:00 2001 From: Tim Angus Date: Fri, 22 Mar 2013 13:42:11 +0000 Subject: [PATCH] Add DEBUG_MAKEFILE to... debug the Makefile --- Makefile | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/Makefile b/Makefile index abcdf078..bd9230dd 100644 --- a/Makefile +++ b/Makefile @@ -1165,7 +1165,9 @@ targets: makedirs done @echo "" ifneq ($(TARGETS),) - @$(MAKE) $(TARGETS) V=$(V) + ifndef DEBUG_MAKEFILE + @$(MAKE) $(TARGETS) V=$(V) + endif endif makedirs: