From 23fef115c89f7a09baf305b5bf2164f1a954146f Mon Sep 17 00:00:00 2001
From: anon <anon>
Date: Tue, 22 May 2018 14:55:47 -0500
Subject: [PATCH] #603 #623

---
 share/trick/makefiles/Makefile.trickconfig | 9 +++++++++
 1 file changed, 9 insertions(+)
 create mode 100644 share/trick/makefiles/Makefile.trickconfig

diff --git a/share/trick/makefiles/Makefile.trickconfig b/share/trick/makefiles/Makefile.trickconfig
new file mode 100644
index 00000000..b7308561
--- /dev/null
+++ b/share/trick/makefiles/Makefile.trickconfig
@@ -0,0 +1,9 @@
+# Utility makefile for trick-config
+
+
+include ${TRICK_HOME}/share/trick/makefiles/Makefile.common
+
+# prints the value of a makefile variable, example invocation "make print-TRICK_CXXFLAGS"
+# This rule is used by trick-config
+print-%:
+	@echo '$*=$($*)'