chiark / gitweb /
As per @daithib8's request, remove some extra dirs
authorDaniel Martí <mvdan@mvdan.cc>
Tue, 19 Mar 2013 14:32:51 +0000 (15:32 +0100)
committerDaniel Martí <mvdan@mvdan.cc>
Tue, 19 Mar 2013 14:32:51 +0000 (15:32 +0100)
fdroidserver/common.py

index 998649d6ad14ab1183c20f79dc138f58a534fe37..e4e2be4e7216097a3cc055c11f2d0bf1a251752d 100644 (file)
@@ -1828,7 +1828,7 @@ def prepare_source(vcs, app, build, build_dir, extlib_dir, sdk_path, ndk_path, j
 
     # There should never be gen or bin directories in the source, so just get
     # rid of them...
-    for baddir in ['gen', 'bin']:
+    for baddir in ['gen', 'bin', 'obj', 'libs/armeabi', 'libs/mips', 'libs/x86']:
         badpath = os.path.join(root_dir, baddir)
         if os.path.exists(badpath):
             shutil.rmtree(badpath)