From e85db8aa3c2139beeee65a523083ec406450f47e Mon Sep 17 00:00:00 2001 From: Olcan Date: Tue, 29 Apr 2025 14:45:11 -0700 Subject: [PATCH] drop the "RE" from REBUILD_SANDBOX (#218) --- scripts/build_sandbox.sh | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/scripts/build_sandbox.sh b/scripts/build_sandbox.sh index f14a3d4b..ab4e8fe0 100755 --- a/scripts/build_sandbox.sh +++ b/scripts/build_sandbox.sh @@ -50,11 +50,11 @@ if [ "$SKIP_NPM_INSTALL_BUILD" = false ]; then npm run build --workspaces fi -# if using Dockerfile-dev, then skip rebuild unless REBUILD_SANDBOX is set +# if using Dockerfile-dev, then skip rebuild unless BUILD_SANDBOX is set # rebuild should not be necessary unless Dockerfile-dev is modified if [ "$DOCKERFILE" = "Dockerfile-dev" ]; then - if $CMD images -q "$IMAGE" | grep -q . && [ -z "${REBUILD_SANDBOX:-}" ]; then - echo "using existing $IMAGE (set REBUILD_SANDBOX=true to force rebuild)" + if $CMD images -q "$IMAGE" | grep -q . && [ -z "${BUILD_SANDBOX:-}" ]; then + echo "using existing $IMAGE (set BUILD_SANDBOX=true to force rebuild)" exit 0 fi fi