| commit | 0e667b30ae3415854ef02fdd4a0493cee115b07c | [log] [tgz] |
|---|---|---|
| author | Nikita Ioffe <ioffe@google.com> | Mon Oct 24 23:25:43 2022 +0000 |
| committer | Gerrit Code Review <noreply-gerritcodereview@google.com> | Mon Oct 24 23:25:43 2022 +0000 |
| tree | 01bbfef9a3ad77ac49515bfc597bd6fc161f6e3f | |
| parent | 3fef8fa51166d150eb531c870966b778fcd99081 [diff] | |
| parent | 664697cec1d7fc993ed89d67d54c1c3929f2c53a [diff] |
Merge "Switch to tombstoned.microdroid"
diff --git a/microdroid/Android.bp b/microdroid/Android.bp index 0364896..650f9ff 100644 --- a/microdroid/Android.bp +++ b/microdroid/Android.bp
@@ -73,7 +73,7 @@ "linker", "linkerconfig", "servicemanager.microdroid", - "tombstoned", + "tombstoned.microdroid", "tombstone_transmit.microdroid", "cgroups.json", "task_profiles.json",