mirror of
https://gitlab.com/fdroid/fdroidserver.git
synced 2024-09-17 18:50:11 +02:00
Be more selective about removing bin directories
This commit is contained in:
parent
0ba888850a
commit
b7425d7253
@ -1257,12 +1257,16 @@ def prepare_source(vcs, app, build, build_dir, srclib_dir, extlib_dir, sdk_path,
|
|||||||
if os.path.exists(buildxml):
|
if os.path.exists(buildxml):
|
||||||
print 'Force-removing old build.xml'
|
print 'Force-removing old build.xml'
|
||||||
os.remove(buildxml)
|
os.remove(buildxml)
|
||||||
for baddir in [
|
|
||||||
|
baddirs = [
|
||||||
'gen', 'bin', 'obj', # ant
|
'gen', 'bin', 'obj', # ant
|
||||||
'libs/armeabi-v7a', 'libs/armeabi', # jni
|
'libs/armeabi-v7a', 'libs/armeabi', # jni
|
||||||
'libs/mips', 'libs/x86', # jni
|
'libs/mips', 'libs/x86'] # jni
|
||||||
'build', # gradle
|
if 'gradle' in build:
|
||||||
'target']: # maven
|
baddirs.append('build')
|
||||||
|
if 'maven' in build:
|
||||||
|
baddirs.append('target')
|
||||||
|
for baddir in baddirs:
|
||||||
badpath = os.path.join(build_dir, baddir)
|
badpath = os.path.join(build_dir, baddir)
|
||||||
if os.path.exists(badpath):
|
if os.path.exists(badpath):
|
||||||
print "Removing '%s'" % badpath
|
print "Removing '%s'" % badpath
|
||||||
|
Loading…
Reference in New Issue
Block a user