commit | ce47465b2f4b65ec3c1916363fc5139c1eb03c81 | [log] [tgz] |
---|---|---|
author | Jeff Sharkey <jsharkey@android.com> | Tue Sep 09 12:38:30 2014 -0700 |
committer | Jeff Sharkey <jsharkey@android.com> | Tue Sep 09 12:38:30 2014 -0700 |
tree | 712c2ca1de0a1cf9c7de4bcd9db0cc61bc96115d | |
parent | 9bdc70d0f4b0b551eaf6d2d89c3ee8faafc70ca2 [diff] |
delete_file() should force removal. It's a shell command with a pty, but it's not really interactive, so force the removal to avoid giving users dead-end prompts. Bug: 17339227 Change-Id: Iaf5d95c49f032066aa741a711a2c45557d93c598