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