diff options
| author | Alex Deymo <deymo@google.com> | 2016-02-03 15:48:10 -0800 |
|---|---|---|
| committer | Alex Deymo <deymo@google.com> | 2016-02-03 15:51:41 -0800 |
| commit | 12542ace0f43c5afaf1e7112556b71aea8454c79 (patch) | |
| tree | 840fadbf76ca84ec9efeff884c1e80f044dd81d2 /common/error_code_utils.cc | |
| parent | f8bfcff8debbcbbb572fdd61e640efe2a3df31dc (diff) | |
boot_control: Relax /misc partition name restriction.
Devices are not required to name the partition mounted on /misc
"misc". This patch relaxes this check to verify that the device is a
symlink, without forcing a particular name.
Bug: 25631949
TEST=Applied an update on a device with different partition name for /misc
Change-Id: I538657bce57f72387fdbe1c3b7f464ac98f29e99
Diffstat (limited to 'common/error_code_utils.cc')
0 files changed, 0 insertions, 0 deletions