tree 0552a32c035e13034234c46e76bdc76e171b50d3
parent 8fb088a33d4ebbd6d843eb3ac70a05f4c6956f0f
author James Carter <jwcart2@tycho.nsa.gov> 1459964765 -0400
committer James Carter <jwcart2@tycho.nsa.gov> 1460472071 -0400

checkpolicy: Fail if module name different than output base filename

Since CIL treats files as modules and does not have a separate
module statement it can cause confusion when a Refpolicy module
has a name that is different than its base filename because older
SELinux userspaces will refer to the module by its module name while
a CIL-based userspace will refer to it by its filename.

Because of this, have checkmodule fail when compiling a module and
the output base filename is different than the module name.

Signed-off-by: James Carter <jwcart2@tycho.nsa.gov>