From 48ab81a4370fa04beccc0358ea60a7a27fab6a1d Mon Sep 17 00:00:00 2001
From: Stephan Wendel <me@stephanwe.de>
Date: Thu, 13 Apr 2023 15:34:21 +0200
Subject: [PATCH] fix: disable debug output in make config

Signed-off-by: Stephan Wendel <me@stephanwe.de>
---
 tools/configure.sh | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/tools/configure.sh b/tools/configure.sh
index 62bcaad..324a3d4 100755
--- a/tools/configure.sh
+++ b/tools/configure.sh
@@ -13,7 +13,9 @@
 
 # Exit on errors
 set -Ee
-set -x
+
+## Debug
+# set -x
 
 
 # Global Vars