| commit | 41b3cfa29602d5f5065e7eafc25692cd75dc1871 | [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 | 78bfbf9674c634d7681139b27b1391b100f3a9fd | |
| parent | 97b536f1fbfd1fa711833b7dc92aed902dea4bdf [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