From a668fdc2be68080365556b36a908143d79a6d848 Mon Sep 17 00:00:00 2001
From: rtoy <rtoy>
Date: Wed, 25 May 2005 11:57:37 +0000
Subject: [PATCH] Oops.  Remove that set -x line.

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

diff --git a/tools/build.sh b/tools/build.sh
index 735d0e135..da11b89d3 100755
--- a/tools/build.sh
+++ b/tools/build.sh
@@ -46,8 +46,6 @@ OLDLISP="cmulisp -noinit"
 
 SKIPUTILS=no
 
-set -x
-
 usage ()
 {
     echo "build-l4 [-123obvuC]"
-- 
GitLab