diff --git a/Makefile.shared b/Makefile.shared
index 06526d3786..6e53c2de18 100644
--- a/Makefile.shared
+++ b/Makefile.shared
@@ -70,7 +70,7 @@ LIBDEPS=
 # The rest is private to this makefile.
 
 SET_X=:
-SET_X=set -x
+#SET_X=set -x
 
 top:
 	echo "Trying to use this makefile interactively?  Don't."