chiark / gitweb /
~ianmdlvl / fdroidserver.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 2c107da) | patch
Made 'rm' build option work if file doesn't exist
authorCiaran Gultnieks <ciaran@ciarang.com>
Mon, 23 Jan 2012 13:49:17 +0000 (13:49 +0000)
committerCiaran Gultnieks <ciaran@ciarang.com>
Mon, 23 Jan 2012 13:49:17 +0000 (13:49 +0000)
commit17cd20fabfbc4d2f9432b74ce2c639e121641f5c
treedd4e61ef4eea0452f137dff31b86af7a010a3740tree | snapshot
parent2c107daaafceb543f249ae92303876831e6d727ccommit | diff
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 diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.