From 5b04cf7ab4a8d2cf68b068460e951075487a1097 Mon Sep 17 00:00:00 2001
From: Elliot Saba <staticfloat@gmail.com>
Date: Thu, 4 May 2017 11:51:29 -0700
Subject: [PATCH] Add Makefile debugging trick so that we can inspect runtime
 Makefile variables

---
 Makefile | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/Makefile b/Makefile
index 6883e51cf..27923aa9b 100644
--- a/Makefile
+++ b/Makefile
@@ -329,3 +329,8 @@ endif
 	@rm -f *.grd Makefile.conf_last config_last.h
 	@(cd $(NETLIB_LAPACK_DIR)/TESTING && rm -f x* *.out testing_results.txt)
 	@echo Done.
+
+# Makefile debugging trick:
+# call print-VARIABLE to see the runtime value of any variable
+print-%:
+	@echo '$*=$($*)'