diff options
| author | Olcan <[email protected]> | 2025-04-29 14:45:11 -0700 |
|---|---|---|
| committer | GitHub <[email protected]> | 2025-04-29 14:45:11 -0700 |
| commit | e85db8aa3c2139beeee65a523083ec406450f47e (patch) | |
| tree | e73c4a753090764d55fcffb9451f3f4ac514432e /scripts | |
| parent | 28767b369f6d59ef822954f22667bdf87507e756 (diff) | |
drop the "RE" from REBUILD_SANDBOX (#218)
Diffstat (limited to 'scripts')
| -rwxr-xr-x | scripts/build_sandbox.sh | 6 |
1 files 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 |
