]> git.ipfire.org Git - thirdparty/mkosi.git/commitdiff
Fix mkosi clean
authorDaan De Meyer <daan.j.demeyer@gmail.com>
Wed, 31 Jan 2024 11:40:32 +0000 (12:40 +0100)
committerDaan De Meyer <daan.j.demeyer@gmail.com>
Wed, 31 Jan 2024 13:24:43 +0000 (14:24 +0100)
mkosi/__init__.py

index ab8c33499c2a55dc0820aa50b495fccf2037439f..0c1acc1b9642c917ecce3ef762e6387555ae11bf 100644 (file)
@@ -3475,6 +3475,7 @@ def check_workspace_directory(config: Config) -> None:
 
 def needs_clean(args: Args, config: Config) -> bool:
     return (
+        args.verb == Verb.clean or
         args.force > 0 or
         not (config.output_dir_or_cwd() / config.output_with_compression).exists() or
         # When the output is a directory, its name is the same as the symlink we create that points to the actual