| commit | e93049f9f1bb20f9ecdcc748c9f439bec8cec1d8 | [log] [tgz] |
|---|---|---|
| author | David Anderson <dvander@google.com> | Tue May 28 14:58:40 2019 +0000 |
| committer | Gerrit Code Review <noreply-gerritcodereview@google.com> | Tue May 28 14:58:40 2019 +0000 |
| tree | 64caad7382a8ed58c45fe4d884a0332e8043ac95 | |
| parent | b693197a34902c7d92006b2173a69d9620ee3e9f [diff] | |
| parent | 0b1094cc235ade62c7c54f509975447aad6c1ce7 [diff] |
Merge "Allow init to mkdir inside /data/gsi."
diff --git a/public/healthd.te b/public/healthd.te index 5fe4add..7ea23e1 100644 --- a/public/healthd.te +++ b/public/healthd.te
@@ -46,7 +46,6 @@ allow healthd input_device:chr_file r_file_perms; allow healthd tty_device:chr_file rw_file_perms; allow healthd ashmem_device:chr_file execute; -allow healthd self:process execmem; allow healthd proc_sysrq:file rw_file_perms; # Healthd needs to tell init to continue the boot