working PGO

This commit is contained in:
2025-12-20 23:07:30 -06:00
parent 30ddc39ed5
commit 69ada12884
10 changed files with 190 additions and 33 deletions

View File

@@ -11,8 +11,7 @@ DOCKER_WORKDIR='/workdir'
set_docker_run_flags() {
local cargo_git="${IGN_DIR}/cargo/git"
local cargo_registry="${IGN_DIR}/cargo/registry"
test -d "${cargo_git}" || mkdir -p "${cargo_git}"
test -d "${cargo_registry}" || mkdir -p "${cargo_registry}"
ensure_dir "${cargo_git}" "${cargo_registry}"
DOCKER_RUN_FLAGS=(
--rm
-v "${cargo_git}:/root/.cargo/git"