From 37d69032acad22061a2903a34e14c218865b2e07 Mon Sep 17 00:00:00 2001
From: rtoy <rtoy>
Date: Tue, 27 Nov 2007 14:28:19 +0000
Subject: [PATCH] Oops.  Remove errant set -x

---
 tools/build.sh | 1 -
 1 file changed, 1 deletion(-)

diff --git a/tools/build.sh b/tools/build.sh
index aa88dac0d..5c7817524 100755
--- a/tools/build.sh
+++ b/tools/build.sh
@@ -104,7 +104,6 @@ buildit ()
 
     if [ "$ENABLE" = "yes" ]; 
     then
-set -x
 	$TOOLDIR/clean-target.sh $TARGET
 	$TIMER $TOOLDIR/build-world.sh $TARGET $OLDLISP $BOOT
 	(cd $TARGET/lisp; $MAKE)
-- 
GitLab