diff options
-rwxr-xr-x | ci/build-cirv.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/ci/build-cirv.sh b/ci/build-cirv.sh index 67704a8..a303633 100755 --- a/ci/build-cirv.sh +++ b/ci/build-cirv.sh @@ -38,7 +38,7 @@ LOG_FILE_PREFIX="/tmp/cirv_build" DATE=$(date -u +"%Y-%m-%d_%H-%M-%S") BRANCH=${GIT_BRANCH##*/} CIRVENV_DIR="$HOME/cirvenv" -WORKSPACE="./" +# WORKSPACE="./" # # main |