diff --git a/Makefile.in b/Makefile.in index e7ad2aec7be..ec5c099372b 100644 --- a/Makefile.in +++ b/Makefile.in @@ -159,6 +159,13 @@ # # Admittedly this is a little convoluted. # +# If you find yourself working on the make infrastructure itself, and trying to +# find the value of a given variable after expansion, you can use: +# +# make print-VARIABLE_NAME +# +# To extract it +# # # diff --git a/mk/util.mk b/mk/util.mk index b419c0bbe8e..3664236eabd 100644 --- a/mk/util.mk +++ b/mk/util.mk @@ -16,4 +16,7 @@ else E = echo $(1) endif +print-%: + @echo $*=$($*) + S := $(CFG_SRC_DIR)