commit 0d1b2ce151d094b4df949248ab55b4e6d6780869
author TreeHugger Robot <treehugger-gerrit@google.com> Mon Apr 17 03:16:18 2017 +0000
committer Android (Google) Code Review <android-gerrit@google.com> Mon Apr 17 03:16:18 2017 +0000
tree cf004ab5eeacecc8b0a42cb62f92aa8c979e8048
parent 04a9c429cb8c5c045d354bf49dd954613d217021
parent ed1c38270e2bb8e5300f189aab0041d38feb1799

Merge "Allow mediadrmserver to call mediacodec." into oc-dev

public/recovery.te

diff --git a/public/recovery.te b/public/recovery.te
index 784596d..886f4fd 100644
--- a/public/recovery.te
+++ b/public/recovery.te
@@ -93,8 +93,7 @@
   allow recovery { cache_file cache_recovery_file }:file create_file_perms;
 
   # Read /sys/class/thermal/*/temp for thermal info.
-  allow recovery sysfs_thermal:dir search;
-  allow recovery sysfs_thermal:file r_file_perms;
+  r_dir_file(recovery, sysfs_thermal)
 
   # Read files on /oem.
   r_dir_file(recovery, oemfs);