Makefile.shared: debugging line slipped through in previous commit.

diff --git a/Makefile.shared b/Makefile.shared
index 06526d3786a97e3f6d2fa1bf1d4340db6767b14c..6e53c2de188865297defc69280c9945580bbd03c 100644 (file)
--- 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."