sepolgen: fix make test
make test in sepolgen was broken because checkmodule now requires the module name to match the file name. Fix it. Signed-off-by: Stephen Smalley <sds@tycho.nsa.gov>
This commit is contained in:
parent
429041bfab
commit
d10c8b81d4
|
@ -1,8 +1,8 @@
|
|||
module foo 1.0;
|
||||
module module_compile_test 1.0;
|
||||
|
||||
require {
|
||||
type foo, bar;
|
||||
class file { read write };
|
||||
}
|
||||
|
||||
allow foo bar : file { read write };
|
||||
allow foo bar : file { read write };
|
||||
|
|
Loading…
Reference in New Issue