[selinux-policy/master_contrib: 3/47] Make gnome_config_filetrans optional

[Miroslav Grepl]

commit bed0f54ea9e3f006e25068a3ccc019d39f8bf8db
Author: Dan Walsh <dwalsh at redhat.com>
Date:   Thu Jan 10 16:34:54 2013 -0500

    Make gnome_config_filetrans optional

 pulseaudio.if |    4 +++-
 1 files changed, 3 insertions(+), 1 deletions(-)
---
diff --git a/pulseaudio.if b/pulseaudio.if
index ec47fb6..59808e5 100644
--- a/pulseaudio.if
+++ b/pulseaudio.if
@@ -308,7 +308,9 @@ interface(`pulseaudio_filetrans_home_content',`
 	userdom_user_home_dir_filetrans($1, pulseaudio_home_t, dir, ".pulse")
 	userdom_user_home_dir_filetrans($1, pulseaudio_home_t, file, ".pulse-cookie")
 	userdom_user_home_dir_filetrans($1, pulseaudio_home_t, file, ".esd_auth")
-	gnome_config_filetrans($1, pulseaudio_home_t, dir, "pulse")
+	optional_policy(`
+		gnome_config_filetrans($1, pulseaudio_home_t, dir, "pulse")
+	')
 ')
 
 ########################################