Added delete_dist command

inclement · inclement · commit 0420b0917edf · 2015-10-04T14:33:35.000+01:00
diff --git a/pythonforandroid/toolchain.py b/pythonforandroid/toolchain.py
@@ -2411,6 +2411,12 @@ def distributions(self, args):
               '{Style.RESET_ALL}'.format(Style=Style, Fore=Fore))
         for line in infos:
             print('\t' + line)
+
+    def delete_dist(self, args):
+        dist = self._dist
+        if dist.needs_build:
+            info('No dist exists that matches your specifications, exiting without deleting.')
+        shutil.rmtree(dist.dist_dir)
         
 
 if __name__ == "__main__":
