From 3ebb0001661f56ee688923f5799d3debda66836f Mon Sep 17 00:00:00 2001
From: Ivan Dyachkov <dev@dyachkov.org>
Date: Wed, 31 Jan 2024 10:20:45 +0100
Subject: [PATCH] ci: disable DEBUG in the build script

---
 build | 6 ------
 1 file changed, 6 deletions(-)

diff --git a/build b/build
index 616383000..371770422 100755
--- a/build
+++ b/build
@@ -6,12 +6,6 @@
 
 set -euo pipefail
 
-if [ "${DEBUG:-0}" -eq 1 ]; then
-    set -x
-    # set this for rebar3
-    export DIAGNOSTIC=1
-fi
-
 log_red() {
   local RED='\033[0;31m' # Red
   local NC='\033[0m' # No Color