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.
This commit is contained in:
Ciaran Gultnieks 2012-01-23 13:49:17 +00:00
parent 04bd558613
commit 39320f8d47

Diff content is not available