From 3fbea9fa2601e7b3e2acc03cf5ea44f37e0fd357 Mon Sep 17 00:00:00 2001
From: Thomas Leonard <talex5@gmail.com>
Date: Fri, 19 Jul 2013 09:03:12 +0100
Subject: [PATCH] When building, don't copy subdirectories containing
 '0compile.properties'

This is for the case where the user has set up the build directory in a
sub-directory of the source.
---
 build.py | 4 +---
 1 file changed, 1 insertion(+), 3 deletions(-)

diff --git a/build.py b/build.py
index 4583aab..d4f58c3 100644
--- a/build.py
+++ b/build.py
@@ -596,14 +596,12 @@ def dup_src(fn):
 
 	build_in_src = srcdir + 'build' == builddir
 
-	build_prefix = builddir + os.sep
-
 	for root, dirs, files in os.walk(srcdir):
 		assert root.startswith(srcdir)
 		reldir = root[len(srcdir):]
 
 		if reldir == '.git' or (reldir == 'build' and build_in_src) or \
-		   (root + os.sep).startswith(build_prefix):
+				('0compile.properties' in files and not build_in_src):
 			print "dup-src: skipping", reldir
 			dirs[:] = []
 			continue
-- 
2.11.4.GIT