From df0c65ce41de0963abf8c61ad5af9fd071c7355f Mon Sep 17 00:00:00 2001
From: nhmall <nhmall@nethack.org>
Date: Fri, 2 Dec 2022 00:20:41 -0500
Subject: [PATCH] more fetch-cross-compiler.sh tweaks

---
 sys/msdos/fetch-cross-compiler.sh | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/sys/msdos/fetch-cross-compiler.sh b/sys/msdos/fetch-cross-compiler.sh
index e2ddd5506..f75e080cb 100755
--- a/sys/msdos/fetch-cross-compiler.sh
+++ b/sys/msdos/fetch-cross-compiler.sh
@@ -1,5 +1,8 @@
 #!/bin/sh
-set -x
+
+if [ ! -z "${TF_BUILD}" ]; then
+	set -x
+fi
 
 if [ -z "$CI_BUILD_DIR" ]; then
 	export DJGPP_TOP=$(pwd)/lib/djgpp