diff options
| author | Casey Schaufler <casey@schaufler-ca.com> | 2018-09-21 17:17:34 -0700 |
|---|---|---|
| committer | Kees Cook <keescook@chromium.org> | 2019-01-08 13:18:44 -0800 |
| commit | 3d252529480c68bfd6a6774652df7c8968b28e41 (patch) | |
| tree | df4d1e20607ea39b6d5c11224b05f29ae91c399a /tools/arch | |
| parent | 98c88651365767c72ec6dc672072423bc19a39aa (diff) | |
SELinux: Remove unused selinux_is_enabled
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@schaufler-ca.com>
Reviewed-by: Kees Cook <keescook@chromium.org>
Signed-off-by: Kees Cook <keescook@chromium.org>
Diffstat (limited to 'tools/arch')
0 files changed, 0 insertions, 0 deletions