tools: use the same mirror as for other presets

diff --git a/mkosi/__init__.py b/mkosi/__init__.py
index 4f41ce29e9ca4d0441a181a00d8fe7501e456d32..502ce1a12b4afb629ab9e02b71015cde4d694e0c 100644 (file)
--- a/mkosi/__init__.py
+++ b/mkosi/__init__.py
@@ -2170,6 +2170,7 @@ def finalize_tools(args: MkosiArgs, presets: Sequence[MkosiConfig]) -> Sequence[
             "--directory", "",
             "--distribution", str(distribution),
             "--release", release,
+            *(["--mirror", p.mirror] if p.mirror and p.distribution == distribution else []),
             "--repository-key-check", str(p.repository_key_check),
             "--cache-only", str(p.cache_only),
             "--output-dir", str(p.output_dir),