From c5b504da6b6553ab592eacc443468a08cc76fca7 Mon Sep 17 00:00:00 2001
From: David Anderson <dvander@google.com>
Date: Mon, 15 Oct 2018 20:00:12 +0000
Subject: [PATCH] Revert "Treat input files as public API."

This reverts commit 7a560eb4d70100b725cb3ad47a1bba453699f593.

Reason for revert: build bustage

Change-Id: Iba0ba7a899dca865129a9c715c5f60f8a6edcc2f
---
 public/domain.te | 4 +---
 1 file changed, 1 insertion(+), 3 deletions(-)

diff --git a/public/domain.te b/public/domain.te
index 1c360bcda..d64f2de01 100644
--- a/public/domain.te
+++ b/public/domain.te
@@ -1128,6 +1128,7 @@ full_treble_only(`
     userdebug_or_eng(`-perfprofd')
     -shell
     -system_executes_vendor_violators
+    -system_server # reads vendor input files
     -ueventd # reads /vendor/ueventd.rc
   } {
     vendor_file_type
@@ -1135,9 +1136,6 @@ full_treble_only(`
     -vendor_app_file
     -vendor_configs_file
     -vendor_framework_file
-    -vendor_idc_file
-    -vendor_keychars_file
-    -vendor_keylayout_file
     -vendor_overlay_file
     -vendor_public_lib_file
     -vndk_sp_file
-- 
GitLab