# portmap
/sbin/portmap		--	system_u:object_r:portmap_exec_t
ifdef(`distro_debian', `
/sbin/pmap_dump		--	system_u:object_r:portmap_helper_exec_t
/sbin/pmap_set		--	system_u:object_r:portmap_helper_exec_t
', `
/usr/sbin/pmap_dump	--	system_u:object_r:portmap_helper_exec_t
/usr/sbin/pmap_set	--	system_u:object_r:portmap_helper_exec_t
')
/var/run/portmap.upgrade-state -- system_u:object_r:portmap_var_run_t