Gentoo Archives: gentoo-commits

From: Jason Zaman <perfinion@g.o>
To: gentoo-commits@l.g.o
Subject: [gentoo-commits] proj/hardened-refpolicy:master commit in: policy/modules/contrib/
Date: Thu, 02 Jun 2016 08:43:18
Message-Id: 1464856926.26b2b23e8495e24a12fb6e997567e52a8276d820.perfinion@gentoo
1 commit: 26b2b23e8495e24a12fb6e997567e52a8276d820
2 Author: Jason Zaman <jason <AT> perfinion <DOT> com>
3 AuthorDate: Thu Jun 2 08:41:34 2016 +0000
4 Commit: Jason Zaman <perfinion <AT> gentoo <DOT> org>
5 CommitDate: Thu Jun 2 08:42:06 2016 +0000
6 URL: https://gitweb.gentoo.org/proj/hardened-refpolicy.git/commit/?id=26b2b23e
7
8 pulseaudio: quote in comment throws a warning
9
10 Compiling mcs pulseaudio module
11 /usr/bin/checkmodule: loading policy configuration from tmp/pulseaudio.tmp
12 pulseaudio.te:264:WARNING 'unrecognized character' at token ''' on line 14411:
13 line 264
14 '
15 pulseaudio.te:264:WARNING 'unrecognized character' at token ''' on line 14411:
16 '
17 line 264
18
19 policy/modules/contrib/pulseaudio.te | 2 +-
20 1 file changed, 1 insertion(+), 1 deletion(-)
21
22 diff --git a/policy/modules/contrib/pulseaudio.te b/policy/modules/contrib/pulseaudio.te
23 index 28dc672..118c86a 100644
24 --- a/policy/modules/contrib/pulseaudio.te
25 +++ b/policy/modules/contrib/pulseaudio.te
26 @@ -283,7 +283,7 @@ ifdef(`distro_gentoo',`
27 # /tmp/pulse-* gets created by the clients usually as user_tmp_t, bug 556526
28 userdom_list_user_tmp(pulseaudio_client)
29
30 - # pulse 7 uses fd's
31 + # pulse 7 uses fds
32 allow pulseaudio_client pulseaudio_t:fd use;
33 allow pulseaudio_client pulseaudio_tmpfs_t:file rw_file_perms;
34 ')