Is the flask generator script[1] still needed; or can it be removed or moved into the kernel repo? related: https://github.com/TresysTechnology/refpolicy/issues/49 [1] https://github.com/TresysTechnology/refpolicy/blob/master/policy/flask/flask.py _______________________________________________ Selinux mailing list Selinux@xxxxxxxxxxxxx To unsubscribe, send email to Selinux-leave@xxxxxxxxxxxxx. To get help, send an email containing "help" to Selinux-request@xxxxxxxxxxxxx.
