From b3e288eca8732f9797c9a2edae25132bf5cf4047 Mon Sep 17 00:00:00 2001
From: Michael Orlitzky <michael@orlitzky.com>
Date: Sat, 20 Jan 2018 19:27:32 -0500
Subject: [PATCH] compilation: drop an "echo" that was used for debugging.

---
 compilation | 1 -
 1 file changed, 1 deletion(-)

diff --git a/compilation b/compilation
index 6320e70..487f251 100644
--- a/compilation
+++ b/compilation
@@ -13,7 +13,6 @@ load_profile_defaults() {
 
     if [ -f "${profile}/make.defaults" ]; then
 	. "${profile}/make.defaults"
-	echo "loaded ${profile}/make.defaults"
     fi
 }
 
-- 
2.43.2