From 1dc02bbaf5fbce9ad13e0adaad9521b4d2ee21bc Mon Sep 17 00:00:00 2001 From: Andy Polyakov Date: Thu, 15 Jul 2010 13:55:38 +0000 Subject: [PATCH] Makefile.shared: debugging line slipped through in previous commit. --- Makefile.shared | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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." -- 2.34.1