duplicate definitions found in selinux-policy-devel-3.13.1-102.el7

[rene00]

When compiling an SELinux module on CentOS 7.3.1611 which has selinux-policy-devel-3.13.1-102.el7 & container-selinux-1.12.5-14.el7 installed, I'm seeing these errors.

/usr/share/selinux/devel/include/contrib/docker.if:71: Error: duplicate definition of docker_exec_lib(). Original definition on 515.                                                                                                                                                                                                                                                                                                      
/usr/share/selinux/devel/include/contrib/docker.if:109: Error: duplicate definition of docker_read_share_files(). Original definition on 519.                                                                                                                                                                                                                                                                                             
/usr/share/selinux/devel/include/contrib/docker.if:131: Error: duplicate definition of docker_exec_share_files(). Original definition on 523.                                                                                                                                                                                                                                                                                             
/usr/share/selinux/devel/include/contrib/docker.if:149: Error: duplicate definition of docker_manage_lib_files(). Original definition on 527.                                                                                                                                                                                                                                                                                             
/usr/share/selinux/devel/include/contrib/docker.if:169: Error: duplicate definition of docker_manage_lib_dirs(). Original definition on 532.                                                                                                                                                                                                                                                                                              
/usr/share/selinux/devel/include/contrib/docker.if:205: Error: duplicate definition of docker_lib_filetrans(). Original definition on 536.                                                                                                                                                                                                                                                                                                
/usr/share/selinux/devel/include/contrib/docker.if:223: Error: duplicate definition of docker_read_pid_files(). Original definition on 540.                                                                                                                                                                                                                                                                                               
/usr/share/selinux/devel/include/contrib/docker.if:242: Error: duplicate definition of docker_systemctl(). Original definition on 544.                                                                                                                                                                                                                                                                                                    
/usr/share/selinux/devel/include/contrib/docker.if:285: Error: duplicate definition of docker_use_ptys(). Original definition on 548.                                                                                                                                                                                                                                                                                                     
/usr/share/selinux/devel/include/contrib/docker.if:336: Error: duplicate definition of docker_stream_connect(). Original definition on 552.                                                                                                                                                                                                                                                                                               
/usr/share/selinux/devel/include/contrib/docker.if:355: Error: duplicate definition of docker_spc_stream_connect(). Original definition on 556.

# lsb_release -d
Description:    CentOS Linux release 7.3.1611 (Core) 

# rpm -q container-selinux docker-selinux selinux-policy-devel
container-selinux-1.12.5-14.el7.centos.x86_64
package docker-selinux is not installed
selinux-policy-devel-3.13.1-102.el7_3.13.noarch

# rpm -qf /usr/share/selinux/devel/include/contrib/docker.if
selinux-policy-devel-3.13.1-102.el7_3.13.noarch

Unsure if these errors are fatal.

I've found #3 and https://bugzilla.redhat.com/show_bug.cgi?id=1262812#c4 though last comment is a bit dated so I'm guessing current selinux-policy-devel needs to have docker.tf removed?

[rhatdan]

They are not fatal and they can be safely be ignored.

I think the new container-selinux should remove these dups.