]> git.ipfire.org Git - thirdparty/mkosi.git/commitdiff
Pass ExtraSearchPaths= to default tools tree preset
authorDaan De Meyer <daan.j.demeyer@gmail.com>
Wed, 25 Oct 2023 14:16:09 +0000 (16:16 +0200)
committerDaan De Meyer <daan.j.demeyer@gmail.com>
Wed, 25 Oct 2023 14:16:09 +0000 (16:16 +0200)
Otherwise these won't be used.

mkosi/__init__.py

index 84c2589b18b02612c39f1096bf9bf3b38f4fe381..3f2510a9c51c1ef0741ef814c9be5d768a6ff2c1 100644 (file)
@@ -2463,6 +2463,7 @@ def finalize_tools(args: MkosiArgs, images: Sequence[MkosiConfig]) -> Sequence[M
             *(["--source-date-epoch", str(p.source_date_epoch)] if p.source_date_epoch is not None else []),
             *([f"--environment={k}='{v}'" for k, v in p.environment.items()]),
             *flatten(["--repositories", repo] for repo in distribution.tools_tree_repositories()),
+            *([f"--extra-search-path={p}" for p in p.extra_search_paths]),
             *(["-f"] * args.force),
             "build",
         ]