| commit | ca9ba328bae976ac2d837bbba57799f5b8fc77cd | [log] [tgz] |
|---|---|---|
| author | Nick Kralevich <nnk@google.com> | Wed Dec 11 19:11:05 2013 +0000 |
| committer | Gerrit Code Review <noreply-gerritcodereview@google.com> | Wed Dec 11 19:11:05 2013 +0000 |
| tree | 952f2f6100c23aeeeb49101500de226ab6ea1ecb | |
| parent | 21a6a6b5076eabf4bdf9a99d872a9bd4e199627b [diff] | |
| parent | 1b556c3270b3af0d2123901f7b31e105bb22f8fe [diff] |
Merge "Make ping enforcing."
diff --git a/ping.te b/ping.te index 9adf079..65612f6 100644 --- a/ping.te +++ b/ping.te
@@ -1,5 +1,4 @@ type ping, domain; -permissive ping; type ping_exec, exec_type, file_type; domain_auto_trans(shell, ping_exec, ping)