From 32b384124263d165337ff0b3b2c9f5aae51f3e93 Mon Sep 17 00:00:00 2001
From: Trevor Elliott <trevor@galois.com>
Date: Thu, 16 May 2013 17:32:06 -0700
Subject: Helpful debugging target

---
 mk/util.mk | 4 ++++
 1 file changed, 4 insertions(+)

(limited to 'mk')

diff --git a/mk/util.mk b/mk/util.mk
index cbc3afe..a92b29a 100644
--- a/mk/util.mk
+++ b/mk/util.mk
@@ -26,3 +26,7 @@ quiet_cmd_copydir = CPDIR      $(call drop-prefix,$@)
 
 quiet_cmd_cp = CP         $(call drop-prefix,$@)
       cmd_cp = cp $< $@
+
+
+print-%:
+	@echo "$* = $($*)"
-- 
cgit v1.2.3