commit: ea395bb75ec043061dac0b8aa6b2466514425c6c
Author: Chris PeBenito <pebenito <AT> ieee <DOT> org>
AuthorDate: Sun Aug 14 19:51:38 2016 +0000
Commit: Jason Zaman <perfinion <AT> gentoo <DOT> org>
CommitDate: Wed Aug 17 16:46:55 2016 +0000
URL:
https://gitweb.gentoo.org/proj/hardened-refpolicy.git/commit/?id=ea395bb7
pulseaudio: Fix compile errors.
policy/modules/contrib/pulseaudio.te | 7 +------
1 file changed, 1 insertion(+), 6 deletions(-)
diff --git a/policy/modules/contrib/pulseaudio.te
b/policy/modules/contrib/pulseaudio.te
index 32e06ac..4be64ec 100644
--- a/policy/modules/contrib/pulseaudio.te
+++ b/policy/modules/contrib/pulseaudio.te
@@ -1,4 +1,4 @@
-policy_module(pulseaudio, 1.8.4)
+policy_module(pulseaudio, 1.8.5)
########################################
#
@@ -193,11 +193,6 @@ optional_policy(`
optional_policy(`
gnome_stream_connect_gconf(pulseaudio_t)
-
- # OIL Runtime Compiler (ORC) optimized code execution
- allow pulseaudio_t gstreamer_orcexec_t:file { manage_file_perms
mmap_file_perms };
- gnome_user_runtime_filetrans_gstreamer_orcexec(pulseaudio_t, file)
- gnome_home_filetrans_gstreamer_orcexec(pulseaudio_t, file)
')
optional_policy(`
