commit 28c611affaa0caf0936db6e07b076d468c333a8a
author Jeff Vander Stoep <jeffv@google.com> Mon Mar 18 21:21:34 2019 -0700
committer android-build-merger <android-build-merger@google.com> Mon Mar 18 21:21:34 2019 -0700
tree f04106af8493bb207948a4258850e7c6a9c01da5
parent 5179c7039a6fc35f1d3085db9c799c9d6f2fcc68
parent f9ef333f1744327ca4489178eb3c4e2d94da38ce

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

Change-Id: Id72c5bb134e9bff4f19a9b72773704485ba59dce

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