about summary refs log tree commit diff
diff options
context:
space:
mode:
authorRicho Healey <richo@psych0tik.net>2015-04-10 17:01:09 -0700
committerRicho Healey <richo@psych0tik.net>2015-04-10 17:10:03 -0700
commit7a1d72669670b059aeacd2bf7affa7a4a95ef511 (patch)
tree9265117209b98ac866479edb3443a6ae799f905d
parentc897ac04e2ebda378fd9e38f6ec0878ae3a2baf7 (diff)
downloadrust-7a1d72669670b059aeacd2bf7affa7a4a95ef511.tar.gz
rust-7a1d72669670b059aeacd2bf7affa7a4a95ef511.zip
mk: Add a printer helper to the make setup
Also add docs because not being able to discover these things is the
pits.
-rw-r--r--Makefile.in7
-rw-r--r--mk/util.mk3
2 files changed, 10 insertions, 0 deletions
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
+#
 # </nitty-gritty>
 #
 
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)