From c97c622be54349475b3f35158ec1dd07a09ccb15 Mon Sep 17 00:00:00 2001
From: =?utf8?q?Daniel=20Gr=C3=B6ber?= <daniel@dps.uibk.ac.at>
Date: Wed, 2 Aug 2017 12:51:48 +0200
Subject: [PATCH] Ignore '*.cache-pre-{dev,inst} when copying build sources
 without git

---
 mkosi | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/mkosi b/mkosi
index 7e56cb44c..c8fb9748d 100755
--- a/mkosi
+++ b/mkosi
@@ -1329,7 +1329,7 @@ def install_build_src(args, workspace, run_build_script, for_cache):
             if use_git:
                 copy_git_files(args.build_sources, target, git_files=args.git_files)
             else:
-                ignore = shutil.ignore_patterns('.git', '.mkosi-*')
+                ignore = shutil.ignore_patterns('.git', '.mkosi-*', '*.cache-pre-dev', '*.cache-pre-inst')
                 shutil.copytree(args.build_sources, target, symlinks=True, ignore=ignore)
 
 def install_build_dest(args, workspace, run_build_script, for_cache):
-- 
2.47.2