chiark / gitweb /
Also remove 'obj' when removing jni dirs
authorDaniel Martí <mvdan@mvdan.cc>
Thu, 31 Oct 2013 16:21:49 +0000 (17:21 +0100)
committerDaniel Martí <mvdan@mvdan.cc>
Thu, 31 Oct 2013 16:23:12 +0000 (17:23 +0100)
fdroidserver/build.py

index 58b642c37ff8adff64a47a180963021fd01e5443..e5ccd19bee1ff9bca9eeaf85bf4b2c73898d97a7 100644 (file)
@@ -381,7 +381,7 @@ def build_local(app, thisbuild, vcs, build_dir, output_dir, srclib_dir, extlib_d
     print "Cleaning jni dirs..."
     for baddir in [
             'libs/armeabi-v7a', 'libs/armeabi',
-            'libs/mips', 'libs/x86']:
+            'libs/mips', 'libs/x86', 'obj']:
         badpath = os.path.join(build_dir, baddir)
         if os.path.exists(badpath):
             print "Removing '%s'" % badpath