chore(scripts): remove execution dump from tools.sh (#1913)

Signed-off-by: Artur Troian <[email protected]>
akash-network · Jan 9, 2024 · 6b9500f · 6b9500f
1 parent 5849c2f
commit 6b9500f
Showing 1 changed file with 0 additions and 2 deletions.
diff --git a/script/tools.sh b/script/tools.sh
@@ -1,7 +1,5 @@
 #!/usr/bin/env bash
 
-set -x
-
 SCRIPT_DIR="$(cd "$(dirname "${BASH_SOURCE[0]}")" >/dev/null 2>&1 && pwd)"
 SEMVER=$SCRIPT_DIR/semver.sh