Make Makefile.shared quiet again.

diff --git a/Makefile.shared b/Makefile.shared
index b201ef4d0cdc10c0444e25d72a4b98a9fd661dc3..59e191f3c15924959333329e774bea9bdd834cc4 100644 (file)
--- a/Makefile.shared
+++ b/Makefile.shared
@@ -67,8 +67,8 @@ LIBDEPS=
 #------------------------------------------------------------------------------
 # The rest is private to this makefile.
 
 #------------------------------------------------------------------------------
 # The rest is private to this makefile.
 

-#SET_X=:
-SET_X=set -x
+SET_X=:
+#SET_X=set -x

 
 top:
        echo "Trying to use this makefile interactively?  Don't."
 
 top:
        echo "Trying to use this makefile interactively?  Don't."