]> git.ipfire.org Git - thirdparty/mkosi.git/commitdiff
Make sure we create the default workspace directory as well
authorDaan De Meyer <daan.j.demeyer@gmail.com>
Fri, 18 Apr 2025 12:44:30 +0000 (14:44 +0200)
committerJörg Behrmann <behrmann@physik.fu-berlin.de>
Fri, 18 Apr 2025 14:56:17 +0000 (16:56 +0200)
Fixes #3701

mkosi/__init__.py

index 3af07f00506da6d7346b493b83ea72a1b855d560..27bb2333a82215b562295449483096449b7a3878 100644 (file)
@@ -4772,7 +4772,7 @@ def ensure_directories_exist(config: Config) -> None:
         config.cache_dir,
         config.package_cache_dir_or_default(),
         config.build_dir,
-        config.workspace_dir,
+        config.workspace_dir_or_default(),
     ):
         if not p or p.exists():
             continue