From d7fa817111772686fdd66016a247fedd7c10bf40 Mon Sep 17 00:00:00 2001 From: Lukas Vrabec Date: Nov 03 2014 15:42:07 +0000 Subject: Fixed broken build. --- diff --git a/policy-f20-contrib.patch b/policy-f20-contrib.patch index d341865..37a0de4 100644 --- a/policy-f20-contrib.patch +++ b/policy-f20-contrib.patch @@ -71278,7 +71278,7 @@ index fa3dc8e..99cfa95 100644 + ps_process_pattern($1, pulseaudio_t) ') diff --git a/pulseaudio.te b/pulseaudio.te -index e31bbe1..28e206e 100644 +index e31bbe1..d261e97 100644 --- a/pulseaudio.te +++ b/pulseaudio.te @@ -1,4 +1,4 @@ @@ -71435,7 +71435,7 @@ index e31bbe1..28e206e 100644 userdom_search_user_home_dirs(pulseaudio_t) userdom_write_user_tmp_sockets(pulseaudio_t) +userdom_manage_user_tmp_files(pulseaudio_t) -+userdom_execute_user_tmp_files(pulseaudio_t) ++userdom_exec_user_tmp_files(pulseaudio_t) tunable_policy(`use_nfs_home_dirs',` + fs_mount_nfs(pulseaudio_t)