commit a06807fdb38d27674016272c024c12bd79fae03d
author Josh Gao <jmgao@google.com> Thu Jan 19 20:21:19 2017 +0000
committer Gerrit Code Review <noreply-gerritcodereview@google.com> Thu Jan 19 20:21:20 2017 +0000
tree 073c60cfbc8d1d7fd18ba6b74041c5a18430ab21
parent 5c566d1a5ae344eaa849df0a3b7184c64952190d
parent d94c5be52d329ce0b09ef229943dc9848c85a596

Merge "Add mlstrustedobject to tombstone_data_file."

public/file.te

diff --git a/public/file.te b/public/file.te
index d1497f5..a113948 100644
--- a/public/file.te
+++ b/public/file.te
@@ -95,7 +95,7 @@
 # /data/anr - ANR traces
 type anr_data_file, file_type, data_file_type, mlstrustedobject;
 # /data/tombstones - core dumps
-type tombstone_data_file, file_type, data_file_type;
+type tombstone_data_file, file_type, data_file_type, mlstrustedobject;
 # /data/app - user-installed apps
 type apk_data_file, file_type, data_file_type;
 type apk_tmp_file, file_type, data_file_type, mlstrustedobject;