Allow gcc-config to execute rc
The gcc-config application uses some functions (from /etc/init.d/functions.sh) which are simple wrappers on top of /sbin/rc. Since this script is sourced and the functions executed from within gcc_config_t, we allow gcc-config to execute /sbin/rc without transitioning. Signed-off-by: Sven Vermeulen <sven.vermeulen@siphos.be>
This commit is contained in:
parent
bce639cff4
commit
032b62f2ed
|
@ -120,6 +120,10 @@ userdom_use_user_terminals(gcc_config_t)
|
|||
|
||||
consoletype_exec(gcc_config_t)
|
||||
|
||||
ifdef(`distro_gentoo',`
|
||||
init_rc_exec(gcc_config_t)
|
||||
')
|
||||
|
||||
optional_policy(`
|
||||
seutil_use_newrole_fds(gcc_config_t)
|
||||
')
|
||||
|
|
Loading…
Reference in New Issue