commit | c07748120d8d27d085cb8366bf01c34bf1fdfa5f | [log] [tgz] |
---|---|---|
author | Inseob Kim <inseob@google.com> | Wed Mar 10 23:56:02 2021 +0000 |
committer | Gerrit Code Review <noreply-gerritcodereview@google.com> | Wed Mar 10 23:56:02 2021 +0000 |
tree | eeeeeeb17ef9e957f73995e07f22eb9802ac3f8c | |
parent | f42e0ef23f0df43a95653952e29c349abf768b21 [diff] | |
parent | 282c73461e076b2e173ca7015d48b135d79ab9fd [diff] |
Merge "Remove unnecessary mount points"
diff --git a/microdroid/Android.bp b/microdroid/Android.bp index 488765f..c654600 100644 --- a/microdroid/Android.bp +++ b/microdroid/Android.bp
@@ -14,14 +14,8 @@ "proc", "sys", - // TODO(b/180267599): clean up unnecessary partition mount points "system", - "system_ext", "vendor", - "vendor_dlkm", - "product", - "odm", - "odm_dlkm", "debug_ramdisk", "mnt",