]> git.ipfire.org Git - thirdparty/mkosi.git/commitdiff
Extend hint for workspace directory and build sources
authorDaan De Meyer <daan.j.demeyer@gmail.com>
Sat, 15 Jun 2024 19:39:44 +0000 (21:39 +0200)
committerDaan De Meyer <daan.j.demeyer@gmail.com>
Sat, 15 Jun 2024 19:51:52 +0000 (21:51 +0200)
mkosi/__init__.py

index 7c081113d64b5a92f42ce79ffd0bcfed5a2c5453..c235b2d9fec38533f5832ddb8d468429740f950e 100644 (file)
@@ -4375,7 +4375,8 @@ def check_workspace_directory(config: Config) -> None:
     for tree in config.build_sources:
         if wd.is_relative_to(tree.source):
             die(f"The workspace directory ({wd}) cannot be a subdirectory of any source directory ({tree.source})",
-                hint="Use WorkspaceDirectory= to configure a different workspace directory")
+                hint="Set BuildSources= to the empty string or use WorkspaceDirectory= to configure a different "
+                     "workspace directory")
 
 
 def run_clean_scripts(config: Config) -> None: