Revert "perf(build): speed up local CLI rebuilds (#1387)" (#1395)

This reverts commit 668c712b63.
This commit is contained in:
Drew Newberry
2026-05-14 17:45:37 -07:00
committed by GitHub
parent 0dee90abdb
commit f5b546e41b
12 changed files with 254 additions and 78 deletions
+1 -5
View File
@@ -115,11 +115,7 @@ if [[ "$needs_build" == "1" ]]; then
build_args+=(--features bundled-z3)
fi
fi
if [[ "${OPENSHELL_CLI_USE_SCCACHE:-}" == "1" ]]; then
cargo build "${build_args[@]}"
else
env -u RUSTC_WRAPPER cargo build "${build_args[@]}"
fi
cargo build "${build_args[@]}"
# Persist state after successful build
mkdir -p "$(dirname "$STATE_FILE")"
cd "$PROJECT_ROOT"