tree 89f9ee5773f32cb0f4a1b284daf4c2676ac4ca00
parent 3123b1eef7c15dee0b0df72c6a3017f1797a278d
author Alex Klyubin <klyubin@google.com> 1367871867 -0700
committer Alex Klyubin <klyubin@google.com> 1367876576 -0700

SELinux policy that separates "init_shell" from "shell".

"init_shell" is used for shell processes spawned by init.

Change-Id: I9e35d485bac91f3d0e4f3704acdbb9af7d617173