From 02358ccbb497894324e0063002d50e39985639e9 2025-10-15 14:56:40
From: xbr <xbr@c3l.lu>
Date: 2025-10-15 14:56:40
Subject: [PATCH] add: build.sh set -x

---

diff --git a/build_script/build.sh b/build_script/build.sh
index e51bcb44e7266f66aeb55ff07cc57a07e1aafb6b..0e40f0d64dbde2832297571b8ed8db10f2a14d6c 100755
--- a/build_script/build.sh
+++ b/build_script/build.sh
@@ -1,4 +1,5 @@
 #!/usr/bin/env bash
+set -x
 USER_DIR=/home/user
 
 GLUON_DIR=$USER_DIR/gluon