From: Daan De Meyer Date: Sun, 17 Jul 2022 20:13:19 +0000 (+0200) Subject: Handle directories when copying untracked git files X-Git-Tag: v14~129^2 X-Git-Url: http://git.ipfire.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=refs%2Fpull%2F1063%2Fhead;p=thirdparty%2Fmkosi.git Handle directories when copying untracked git files --- diff --git a/mkosi/__init__.py b/mkosi/__init__.py index 1971bd512..02a6eb25f 100644 --- a/mkosi/__init__.py +++ b/mkosi/__init__.py @@ -3635,7 +3635,10 @@ def copy_git_files(src: Path, dest: Path, *, source_file_transfer: SourceFileTra dest_path.parent.mkdir(parents=True, exist_ok=True) - copy_file(src_path, dest_path) + if src_path.is_dir(): + copy_path(src_path, dest_path) + else: + copy_file(src_path, dest_path) def install_build_src(args: MkosiArgs, root: Path, do_run_build_script: bool, for_cache: bool) -> None: