# 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
')