aboutsummaryrefslogtreecommitdiffstats
path: root/file.te
diff options
context:
space:
mode:
authorNick Kralevich <nnk@google.com>2014-10-31 12:40:12 -0700
committerNick Kralevich <nnk@google.com>2014-10-31 15:16:29 -0700
commitca62a8b72be35de3781c1f8f16600cfeca874ef5 (patch)
tree168b51801e8e7abd3c253f1c3b063c4df9fb8693 /file.te
parentbdc8c77a737a9d0ade4c93b3c6f59a4be5a1231e (diff)
downloadandroid_external_sepolicy-ca62a8b72be35de3781c1f8f16600cfeca874ef5.tar.gz
android_external_sepolicy-ca62a8b72be35de3781c1f8f16600cfeca874ef5.tar.bz2
android_external_sepolicy-ca62a8b72be35de3781c1f8f16600cfeca874ef5.zip
allow coredump functionality
(cherrypick of commit d7e004ebf949ae21b299a49cff9917f6560200a3) Change-Id: I7993698ac96f21db0039681275280dbd43ff61ba
Diffstat (limited to 'file.te')
-rw-r--r--file.te2
1 files changed, 2 insertions, 0 deletions
diff --git a/file.te b/file.te
index 5c91cf0..9b7564f 100644
--- a/file.te
+++ b/file.te
@@ -45,6 +45,8 @@ type unlabeled, file_type;
type system_file, file_type;
# Type for /system/bin/logcat.
type logcat_exec, exec_type, file_type;
+# /cores for coredumps on userdebug / eng builds
+type coredump_file, file_type;
# Default type for anything under /data.
type system_data_file, file_type, data_file_type;
# /data/.layout_version or other installd-created files that