From e0a9a3195d42ca09c1c35bb7e1e52d6ab832263c Mon Sep 17 00:00:00 2001
From: Ricardo Pardini <ricardo@pardini.net>
Date: Wed, 21 Aug 2024 18:00:58 +0200
Subject: [PATCH] disable debug

This reverts commit 335c799b239192f43e413cc5d962c628f2017c07.
---
 work_kernel_tree.sh | 1 -
 1 file changed, 1 deletion(-)

diff --git a/work_kernel_tree.sh b/work_kernel_tree.sh
index 8cae8f7..b866266 100755
--- a/work_kernel_tree.sh
+++ b/work_kernel_tree.sh
@@ -1,7 +1,6 @@
 #!/usr/bin/env bash
 
 set -e
-set -x
 
 function display_alert() {
 	echo "--> $*"