From 17cd20fabfbc4d2f9432b74ce2c639e121641f5c Mon Sep 17 00:00:00 2001
From: Ciaran Gultnieks <ciaran@ciarang.com>
Date: Mon, 23 Jan 2012 13:49:17 +0000
Subject: [PATCH] Made 'rm' build option work if file doesn't exist

The latest platform tools delete build.properties, the old ones didn't.
This allows several builds to work either way.
---
 common.py | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/common.py b/common.py
index e651e542..c81fd301 100644
--- a/common.py
+++ b/common.py
@@ -633,7 +633,9 @@ def prepare_source(vcs, app, build, build_dir, sdk_path, ndk_path, javacc_path,
 
     # Delete unwanted file...
     if build.has_key('rm'):
-        os.remove(os.path.join(build_dir, build['rm']))
+        dest = os.path.join(build_dir, build['rm'])
+        if os.path.exists(dest):
+            os.remove(dest)
 
     # Fix apostrophes translation files if necessary...
     if build.get('fixapos', 'no') == 'yes':