Removing the workaround of public product sepolicy dir
system/sepolicy now allows PRODUCT_PUBLIC_SEPOLICY_DIRS to be empty.
Removing the workaround.te file and the directory.
Bug: 131193755
Test: lunch aosp_cf_x86_64_phone-userdebug, then mmma system/sepolicy
Change-Id: Idac746d2ca9e9a975d26694151ee04190410d4ae
diff --git a/shared/BoardConfig.mk b/shared/BoardConfig.mk
index 5bc7135..2d1eab1 100644
--- a/shared/BoardConfig.mk
+++ b/shared/BoardConfig.mk
@@ -99,8 +99,6 @@
BOARD_SEPOLICY_DIRS += device/google/cuttlefish/shared/sepolicy/vendor
BOARD_SEPOLICY_DIRS += device/google/cuttlefish/shared/sepolicy/vendor/google
PRODUCT_PRIVATE_SEPOLICY_DIRS := device/google/cuttlefish/shared/sepolicy/private
-# TODO(b/131193755) remove the following line.
-PRODUCT_PUBLIC_SEPOLICY_DIRS := device/google/cuttlefish/shared/sepolicy/public
VSOC_STLPORT_INCLUDES :=
VSOC_STLPORT_LIBS :=
diff --git a/shared/sepolicy/public/workaround.te b/shared/sepolicy/public/workaround.te
deleted file mode 100644
index 693231d..0000000
--- a/shared/sepolicy/public/workaround.te
+++ /dev/null
@@ -1,3 +0,0 @@
-# TODO(b/131193755) Once PRODUCT_PUBLIC_SEPOLICY_DIRS is optional, this file
-# and the containing folder can be deleted.
-type workaround;
\ No newline at end of file