[gentoo-commits] proj/hardened-refpolicy:master commit in: policy/modules/contrib/

[Jason Zaman]

commit:     26b2b23e8495e24a12fb6e997567e52a8276d820
Author:     Jason Zaman <jason <AT> perfinion <DOT> com>
AuthorDate: Thu Jun  2 08:41:34 2016 +0000
Commit:     Jason Zaman <perfinion <AT> gentoo <DOT> org>
CommitDate: Thu Jun  2 08:42:06 2016 +0000
URL:        
https://gitweb.gentoo.org/proj/hardened-refpolicy.git/commit/?id=26b2b23e

pulseaudio: quote in comment throws a warning

Compiling mcs pulseaudio module
/usr/bin/checkmodule:  loading policy configuration from tmp/pulseaudio.tmp
pulseaudio.te:264:WARNING 'unrecognized character' at token ''' on line 14411:
line 264
'
pulseaudio.te:264:WARNING 'unrecognized character' at token ''' on line 14411:
'
line 264

 policy/modules/contrib/pulseaudio.te | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/policy/modules/contrib/pulseaudio.te 
b/policy/modules/contrib/pulseaudio.te
index 28dc672..118c86a 100644
--- a/policy/modules/contrib/pulseaudio.te
+++ b/policy/modules/contrib/pulseaudio.te
@@ -283,7 +283,7 @@ ifdef(`distro_gentoo',`
        # /tmp/pulse-* gets created by the clients usually as user_tmp_t, bug 
556526
        userdom_list_user_tmp(pulseaudio_client)
 
-       # pulse 7 uses fd's
+       # pulse 7 uses fds
        allow pulseaudio_client pulseaudio_t:fd use;
        allow pulseaudio_client pulseaudio_tmpfs_t:file rw_file_perms;
 ')