diff --git a/public/tombstoned.te b/public/tombstoned.te index c830d93cbcf6fd9f3fa0e5ced27ca7eed4efda47..840c026c6b7ae161eb1faddea0e599d33c656893 100644 --- a/public/tombstoned.te +++ b/public/tombstoned.te @@ -10,3 +10,4 @@ allow tombstoned domain:dir r_dir_perms; allow tombstoned domain:file r_file_perms; allow tombstoned tombstone_data_file:dir rw_dir_perms; allow tombstoned tombstone_data_file:file create_file_perms; +allow tombstoned anr_data_file:file { getattr append };