Re: [PATCH 3/3] selinux: Remove 'make' dependency