diff --git a/scripts/README.md b/scripts/README.md index fb8c03c..845eef9 100644 --- a/scripts/README.md +++ b/scripts/README.md @@ -62,7 +62,7 @@ All options are passed directly to `build-local.sh` inside the container. |----------|-------------| | `DOCKER_BUILD=0` | Skip rebuilding the Docker image | | `DOCKER_NOCACHE=1` | Force rebuild Docker image without cache | -| `SKIP_INSTALL=true` | Install artifacts to `~/.nomos-circuits` after build | +| `SKIP_INSTALL=1` | Skip installing artifacts to `~/.nomos-circuits` after build | ### [`Dockerfile`](Dockerfile) diff --git a/scripts/docker-build.sh b/scripts/docker-build.sh index b908fe9..504229b 100755 --- a/scripts/docker-build.sh +++ b/scripts/docker-build.sh @@ -97,7 +97,7 @@ docker run --rm $DOCKER_FLAGS \ log_success "Docker build completed!" -if [[ $SKIP_INSTALL == false ]]; then +if [[ $SKIP_INSTALL == "1" ]]; then log_info "Remember to install the built artifacts if needed." exit 0 fi