## policy for wings
########################################
##
## Execute wings_exec_t in the wings domain.
##
##
##
## Domain allowed to transition.
##
##
#
interface(`wings_domtrans',`
gen_require(`
type wings_t, wings_exec_t;
')
corecmd_search_bin($1)
domtrans_pattern($1, wings_exec_t, wings_t)
')
######################################
##
## Execute wings in the caller domain.
##
##
##
## Domain allowed access.
##
##
#
interface(`wings_exec',`
gen_require(`
type wings_exec_t;
')
corecmd_search_bin($1)
can_exec($1, wings_exec_t)
')