compilation: drop an "echo" that was used for debugging.

diff --git a/compilation b/compilation
index 6320e7069b0338802e0928b295f40a992f3307b8..487f251d9d1adeb2c4f7c2003e1634e524cc72af 100644 (file)
--- 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
 }