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