diff --git a/common.py b/common.py index 8043eadd..f51d892f 100644 --- a/common.py +++ b/common.py @@ -825,6 +825,13 @@ def prepare_source(vcs, app, build, build_dir, extlib_dir, sdk_path, ndk_path, j if basesrclib: srclibpaths.append(basesrclib) + # There should never be gen or bin directories in the source, so just get + # rid of them... + for baddir in ['gen', 'bin']: + badpath = os.path.join(root_dir, 'gen') + if os.path.exists(badpath): + shutil.rmtree(badpath) + # Run a pre-build command if one is required... if build.has_key('prebuild'): prebuild = build['prebuild'] @@ -954,15 +961,6 @@ def scan_source(build_dir, root_dir, thisbuild): msg = 'Found jni directory, but buildjni is not enabled' problems.append(msg) - # Presence of these is not a problem as such, but they - # shouldn't be there and mess up our source tarballs... - if os.path.exists(os.path.join(root_dir, 'bin')): - msg = "There shouldn't be a bin directory" - problems.append(msg) - if os.path.exists(os.path.join(root_dir, 'gen')): - msg = "There shouldn't be a gen directory" - problems.append(msg) - return problems