From: guido@trentalancia.net (Guido Trentalancia) Date: Fri, 09 Dec 2016 22:10:54 +0100 Subject: [refpolicy] [PATCH 2/2] mozilla: remove redundant pulseaudio interface calls In-Reply-To: <1481317805.8850.3.camel@trentalancia.net> References: <1481317805.8850.3.camel@trentalancia.net> Message-ID: <1481317854.8850.4.camel@trentalancia.net> To: refpolicy@oss.tresys.com List-Id: refpolicy.oss.tresys.com Remove two pulseaudio interface calls from the mozilla module that have been made redundant by part 1/2 of this patchset. Signed-off-by: Guido Trentalancia --- policy/modules/contrib/mozilla.te | 4 ---- 1 file changed, 4 deletions(-) --- refpolicy-git-07122016-orig/policy/modules/contrib/mozilla.te 2016-12-07 13:39:50.051911134 +0100 +++ refpolicy-git-07122016/policy/modules/contrib/mozilla.te 2016-12-09 21:58:38.937369122 +0100 @@ -302,8 +302,6 @@ optional_policy(` optional_policy(` pulseaudio_run(mozilla_t, mozilla_roles) - pulseaudio_rw_tmpfs_files(mozilla_t) - pulseaudio_use_fds(mozilla_t) ') optional_policy(` @@ -573,8 +571,6 @@ optional_policy(` optional_policy(` pulseaudio_run(mozilla_plugin_t, mozilla_plugin_roles) - pulseaudio_rw_tmpfs_files(mozilla_plugin_t) - pulseaudio_use_fds(mozilla_plugin_t) ') optional_policy(`