From 9ac128c0bdb1fbba592b1ac63cf51367590f861e Mon Sep 17 00:00:00 2001 From: Detlef Riekenberg Date: Wed, 27 Apr 2022 20:25:23 +0200 Subject: [PATCH] Makefile: Add a comment with an option to debug the Makefile --- Makefile | 6 ++++++ 1 file changed, 6 insertions(+) diff --git a/Makefile b/Makefile index 4218b2b0..15ece52a 100644 --- a/Makefile +++ b/Makefile @@ -8,6 +8,12 @@ ifndef TOP INCLUDED = no endif +# Uncomment the next two commands to allow debug this Makefile +# When enabled, GNU make will no longer execute commands directly. +# All build commands will be executed using the shell. This needs more time +#OLD_SHELL := $(SHELL) +#SHELL = $(info Building $* $(if $<, (from $<))$(if $?, ($? newer)))$(OLD_SHELL) + ifeq ($(findstring $(MAKECMDGOALS),clean distclean),) include $(TOP)/config.mak endif