diff options
| author | David Anderson <dvander@google.com> | 2019-04-18 14:14:33 -0700 |
|---|---|---|
| committer | David Anderson <dvander@google.com> | 2019-04-18 14:35:49 -0700 |
| commit | cad2733f491af1d2757d63b9ff0317ccc572001a (patch) | |
| tree | c0dcf338c414c7721d8a906d2244cc775db9c215 /trusty/coverage/coverage.cpp | |
| parent | 2b107b8b6bfd125749384d4b47ea84f58b58810d (diff) | |
Don't assume an A/B device when overriding the super partition name.
Bug: 130750333
Test: launch cuttlefish with DAP enabled
Change-Id: I1ea309d448866a8914f58be98d860eca36d47062
Merged-In: I1ea309d448866a8914f58be98d860eca36d47062
Diffstat (limited to 'trusty/coverage/coverage.cpp')
0 files changed, 0 insertions, 0 deletions