android fixes

Author: robhagemans

config.py

@@ -172,6 +172,9 @@ def get_options():
                 args[d] = parse_bool_arg(args[d])
     # any program given on the command line overrides that in config files    
     args['program'] = '' or arg_program
+    # add missing help option
+    if not args.has_key('help'):
+        args['help'] = None
     return args        
 
 def default_args(conf_dict):

pcbasic

@@ -25,9 +25,9 @@ def main():
         if plat.system == 'Android':
             # resume from existing directory (or clear it if we're not resuming) 
             if not config.options['resume'] and os.path.exists(temp_dir):
-                shutil.rmtree(temp_dir)
-            if not os.path.exists(temp_dir):
-                os.mkdir(temp_dir)
+                shutil.rmtree(plat.temp_dir)
+            if not os.path.exists(plat.temp_dir):
+                os.mkdir(plat.temp_dir)
         # set up the logging system
         prepare_logging()        
         if config.options['version']: