From b7c851c66ba16b7f368ce96215f8de3430b96e42 Mon Sep 17 00:00:00 2001 From: Dominick Grift Date: Mon, 4 Oct 2010 20:23:34 +0200 Subject: [PATCH] rpm: redundant. Signed-off-by: Dominick Grift --- policy/modules/admin/rpm.te | 1 - 1 file changed, 1 deletion(-) diff --git a/policy/modules/admin/rpm.te b/policy/modules/admin/rpm.te index 95dbcf31e..efc0c37ee 100644 --- a/policy/modules/admin/rpm.te +++ b/policy/modules/admin/rpm.te @@ -15,7 +15,6 @@ domain_obj_id_change_exemption(rpm_t) domain_role_change_exemption(rpm_t) domain_system_change_exemption(rpm_t) domain_interactive_fd(rpm_t) -role system_r types rpm_t; type rpm_file_t; files_type(rpm_file_t)