Get rid of irritating noise.

diff --git a/Makefile.shared b/Makefile.shared
index 8593ead067237716d326516aba821093f54027c2..d4df5e2b66eb96b1886f5b26fec53f2d8eb2515b 100644 (file)
--- a/Makefile.shared
+++ b/Makefile.shared
@@ -66,8 +66,8 @@ LIBDEPS=
 #------------------------------------------------------------------------------
 # 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."