commit | 39f20052a34b9df18a2e2c5d91c51331bf5ffc4c | [log] [tgz] |
---|---|---|
author | repo sync <gcondra@google.com> | Mon May 06 17:34:34 2013 -0700 |
committer | repo sync <gcondra@google.com> | Mon May 06 17:34:34 2013 -0700 |
tree | 1c5c9b51dfb18c806d6e8bad631e9441bf5dba98 | |
parent | 93bbc93c99e356ac5d19d59cf8301623612375be [diff] [blame] |
Last occam denials. Some of this should be solved in other ways. In particular, in the future /persist and friends should be labelled appropriately. Change-Id: I90201d27e42c0f26ebcbea94e1833927f12003c5
diff --git a/BoardConfig.mk b/BoardConfig.mk index 88cbd56..26f1b8c 100644 --- a/BoardConfig.mk +++ b/BoardConfig.mk
@@ -103,6 +103,7 @@ file.te \ file_contexts \ hci_init.te \ + init_shell.te \ keystore.te \ mediaserver.te \ kickstart.te \