commit | 08c38b3af54af2d53ca80bb0cfa28ab622ba6411 | [log] [tgz] |
---|---|---|
author | Roland McGrath <mcgrathr@google.com> | Fri Jan 12 21:12:17 2018 -0800 |
committer | Roland McGrath <mcgrathr@google.com> | Fri Jan 12 21:12:17 2018 -0800 |
tree | aa7d5bcd26084007bf9b85bdb9c0e7692971c9a8 | |
parent | a5a04e062c3c90fdb971153496c5e62939ff6993 [diff] |
[finalize_manifests.py] Remove old stripped file before writing new one This matters when the old stripped file lacks write permissions because the file permissions are copied from the unstripped file and the unstripped file (e.g. in a toolchain) might be unwritable. TO-683 #done Change-Id: I1eec4ed7e5f1e46917c232d5477d284a7373d593