tree 78bfbf9674c634d7681139b27b1391b100f3a9fd
parent 97b536f1fbfd1fa711833b7dc92aed902dea4bdf
author Jeff Sharkey <jsharkey@android.com> 1410291510 -0700
committer Jeff Sharkey <jsharkey@android.com> 1410291510 -0700

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