From 18d5129b53e239bf8ee1e6c4829628527d85af37 Mon Sep 17 00:00:00 2001
From: Tim Cuthbertson <tim@gfxmonk.net>
Date: Sat, 7 Feb 2015 22:27:35 +1100
Subject: [PATCH] Don't create empty .git directory when copying sources

---
 build.py | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

diff --git a/build.py b/build.py
index 6f15ee1..8813474 100644
--- a/build.py
+++ b/build.py
@@ -646,7 +646,11 @@ def dup_src(fn):
 		assert root.startswith(srcdir)
 		reldir = root[len(srcdir):]
 
-		if reldir == '.git' or (reldir == 'build' and build_in_src) or \
+		if '.git' in dirs:
+			print "dup-src: skipping", reldir
+			dirs.remove('.git')
+
+		if (reldir == 'build' and build_in_src) or \
 				('0compile.properties' in files and not build_in_src):
 			print "dup-src: skipping", reldir
 			dirs[:] = []
-- 
2.11.4.GIT