From cd06dcae786820da5424f08f4fab9f837910c43b Mon Sep 17 00:00:00 2001
From: Inseob Kim <inseob@google.com>
Date: Fri, 30 Apr 2021 00:19:00 +0900
Subject: [PATCH] Update microdroid_plat_sepolicy_vers.txt

to sync with system/sepolicy change.

Test: boot device && boot microdroid
Change-Id: Iaa9f7075ca80f7db911dd228eb7ebe745f21a315
---
 microdroid/Android.bp             | 10 +---------
 microdroid/plat_sepolicy_vers.txt |  1 -
 2 files changed, 1 insertion(+), 10 deletions(-)
 delete mode 100644 microdroid/plat_sepolicy_vers.txt

diff --git a/microdroid/Android.bp b/microdroid/Android.bp
index e378f6c0..47f3474d 100644
--- a/microdroid/Android.bp
+++ b/microdroid/Android.bp
@@ -111,7 +111,6 @@ android_filesystem {
     use_avb: true,
     deps: [
         "microdroid_fstab",
-        "microdroid_plat_sepolicy_vers.txt",
         "microdroid_precompiled_sepolicy",
         "microdroid_precompiled_sepolicy.plat_sepolicy_and_mapping.sha256",
     ],
@@ -120,6 +119,7 @@ android_filesystem {
             deps: [
                 "microdroid_vendor_sepolicy.cil",
                 "microdroid_plat_pub_versioned.cil",
+                "microdroid_plat_sepolicy_vers.txt",
             ],
         },
     },
@@ -128,14 +128,6 @@ android_filesystem {
     file_contexts: "microdroid_vendor_file_contexts",
 }
 
-prebuilt_etc {
-    name: "microdroid_plat_sepolicy_vers.txt",
-    src: "plat_sepolicy_vers.txt",
-    filename: "plat_sepolicy_vers.txt",
-    sub_dir: "selinux",
-    installable: false,
-}
-
 logical_partition {
     name: "microdroid_super",
     sparse: true,
diff --git a/microdroid/plat_sepolicy_vers.txt b/microdroid/plat_sepolicy_vers.txt
deleted file mode 100644
index 36c90307..00000000
--- a/microdroid/plat_sepolicy_vers.txt
+++ /dev/null
@@ -1 +0,0 @@
-10000.0