Re: [PATCH v4 05/19] SELinux: Remove unused selinux_is_enabled

[Kees Cook]

On Fri, Sep 21, 2018 at 5:17 PM, Casey Schaufler <casey@xxxxxxxxxxxxxxxx> wrote:
> There are no longer users of selinux_is_enabled().
> Remove it. As selinux_is_enabled() is the only reason
> for include/linux/selinux.h remove that as well.
>
> Signed-off-by: Casey Schaufler <casey@xxxxxxxxxxxxxxxx>

Reviewed-by: Kees Cook <keescook@xxxxxxxxxxxx>

-Kees

-- 
Kees Cook
Pixel Security