Poking at it a little more, a simpler test case seems to be to get checkmodule to read its own output:
$ checkmodule -m -M -o test.mod test.te ; echo $? ; checkmodule -b test.mod ; echo $? checkmodule: loading policy configuration from test.te checkmodule: policy configuration loaded checkmodule: writing binary representation (version 5) to test.mod 0 checkmodule: loading policy configuration from test.mod security: conditional expressions uses unknown bool. checkmodule: error(s) encountered while parsing configuration 1 -- Devin \ aqua(at)devin.com, IRC:Requiem; http://www.devin.com Carraway \ 1024D/E9ABFCD2: 13E7 199E DD1E 65F0 8905 2E43 5395 CA0D E9AB FCD2 -- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]
