From 39320f8d47fa66099954349b4b91247369327458 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.