ci: disable DEBUG in the build script

2024-01-31 10:20:45 +01:00 · 2024-01-31 10:20:45 +01:00 · 3ebb000166
parent 9012ecb39e
commit 3ebb000166
1 changed files with 0 additions and 6 deletions
--- a/6
+++ b/6
@ -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