chiark / gitweb /
Remove all bin dirs on update= dirs, be more verbose
authorDaniel Martí <mvdan@mvdan.cc>
Mon, 16 Sep 2013 10:53:27 +0000 (12:53 +0200)
committerDaniel Martí <mvdan@mvdan.cc>
Mon, 16 Sep 2013 10:53:27 +0000 (12:53 +0200)
fdroidserver/common.py

index 8679c0b5e6b4319281db985e0619a905ccbcbb80..98f837cd15a021156d2f159c725ab8a3e45016ba 100644 (file)
@@ -1211,9 +1211,10 @@ def prepare_source(vcs, app, build, build_dir, srclib_dir, extlib_dir, sdk_path,
             cwd = os.path.join(root_dir, d)
             # Remove gen and bin dirs in libraries
             # rid of them...
-            for baddir in ['gen', 'bin']:
+            for baddir in ['gen', 'bin', 'obj', 'libs/armeabi-v7a', 'libs/armeabi', 'libs/mips', 'libs/x86']:
                 badpath = os.path.join(cwd, baddir)
                 if os.path.exists(badpath):
+                    print "Removing %s in update dir %s" % (badpath, d)
                     shutil.rmtree(badpath)
             if verbose:
                 print "Update of '%s': exec '%s' in '%s'"%\
@@ -1354,6 +1355,7 @@ def prepare_source(vcs, app, build, build_dir, srclib_dir, extlib_dir, sdk_path,
     for baddir in ['gen', 'bin', 'obj', 'libs/armeabi-v7a', 'libs/armeabi', 'libs/mips', 'libs/x86']:
         badpath = os.path.join(root_dir, baddir)
         if os.path.exists(badpath):
+            print "Removing %s" % badpath
             shutil.rmtree(badpath)
 
     # Apply patches if any