commit 74f953c3ec096351ef7bcd8838a9fdbe7e75c8e4
author Jeff Vander Stoep <jeffv@google.com> Mon Mar 18 21:25:38 2019 -0700
committer android-build-merger <android-build-merger@google.com> Mon Mar 18 21:25:38 2019 -0700
tree 7b53184f31b329cd7d36353d41cdf0b72e0073f0
parent 9e3e3cec128b44c1e9a7aab9b2eb2e6c26e0a1bf
parent 28c611affaa0caf0936db6e07b076d468c333a8a

crash_dump: suppress devpts denials am: 60bb29fcdf am: f9ef333f17
am: 28c611affa

Change-Id: Iafc49f4f9c30540c42412c175ae065c11a3dc63e

private/crash_dump.te

diff --git a/private/crash_dump.te b/private/crash_dump.te
index adc46a1..f130327 100644
--- a/private/crash_dump.te
+++ b/private/crash_dump.te
@@ -1,7 +1,7 @@
 typeattribute crash_dump coredomain;
 
 # Crash dump does not need to access devices passed across exec().
-dontaudit crash_dump dev_type:chr_file { read write };
+dontaudit crash_dump { devpts dev_type }:chr_file { read write };
 
 allow crash_dump {
   domain