chiark / gitweb /
Be more selective about removing bin directories
authorCiaran Gultnieks <ciaran@ciarang.com>
Fri, 25 Oct 2013 10:59:55 +0000 (11:59 +0100)
committerCiaran Gultnieks <ciaran@ciarang.com>
Fri, 25 Oct 2013 10:59:55 +0000 (11:59 +0100)
fdroidserver/common.py

index f5158288a71cbf05eb537b2e4d04cf9ca5e299ca..04fa497b943f763fd1b2944f1e81ab98e02ea46e 100644 (file)
@@ -1257,12 +1257,16 @@ def prepare_source(vcs, app, build, build_dir, srclib_dir, extlib_dir, sdk_path,
             if os.path.exists(buildxml):
                 print 'Force-removing old build.xml'
                 os.remove(buildxml)
-        for baddir in [
+
+        baddirs = [
                 'gen', 'bin', 'obj', # ant
                 'libs/armeabi-v7a', 'libs/armeabi', # jni
-                'libs/mips', 'libs/x86', # jni
-                'build', # gradle
-                'target']: # maven
+                'libs/mips', 'libs/x86'] # jni
+        if 'gradle' in build:
+            baddirs.append('build')
+        if 'maven' in build:
+            baddirs.append('target')
+        for baddir in baddirs:
             badpath = os.path.join(build_dir, baddir)
             if os.path.exists(badpath):
                 print "Removing '%s'" % badpath