chore: merge round 2 fixes (ops)

This commit is contained in:
Abdessamad Derraz committed 2026-10-21 10:08:27 +02:00
commit d890ad40e6
26 files changed
+1131 -110

No files matched your search

+11
View File
@@ -899,6 +899,17 @@ def main() -> None:
require_platform(args.platform, args.platforms_dir)
platforms = [args.platform]
if not args.refresh_cache:
import contextlib
from refresh_data_dirs import hold_data_dirs
# Removal candidates are proved against data/: a refresh swapping a
# tree mid-walk listed entries only that tree holds as removable.
# The process exit releases the hold.
held = contextlib.ExitStack()
hold_data_dirs(held, load_data_dir_registry(args.platforms_dir))
sys.exit(
run(
platforms,