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

[Jason Zaman]

commit:     04574aa8704e2f617d1f085fe4564c551c0339ac
Author:     Jason Zaman <jason <AT> perfinion <DOT> com>
AuthorDate: Sun Feb 10 04:20:49 2019 +0000
Commit:     Jason Zaman <perfinion <AT> gentoo <DOT> org>
CommitDate: Sun Feb 10 04:23:42 2019 +0000
URL:        https://gitweb.gentoo.org/proj/hardened-refpolicy.git/commit/?id=04574aa8

remove duplicate userdom_user_home_dir_filetrans_user_cert interface

Signed-off-by: Jason Zaman <jason <AT> perfinion.com>

 policy/modules/system/userdomain.if | 29 -----------------------------
 1 file changed, 29 deletions(-)

diff --git a/policy/modules/system/userdomain.if b/policy/modules/system/userdomain.if
index 7fe015de..da98bde5 100644
--- a/policy/modules/system/userdomain.if
+++ b/policy/modules/system/userdomain.if
@@ -4540,35 +4540,6 @@ interface(`userdom_manage_user_tmp_chr_files',`
 	files_search_tmp($1)
 ')
 
-########################################
-## <summary>
-##	Automatically use the user_cert_t label for selected resources
-##	created in a users home directory
-## </summary>
-## <param name="domain">
-##	<summary>
-##	Domain allowed access
-##	</summary>
-## </param>
-## <param name="class">
-##	<summary>
-##	Resource type(s) for which the label should be used
-##	</summary>
-## </param>
-## <param name="filename" optional="true">
-##	<summary>
-##	Name of the resource that is being created
-##	</summary>
-## </param>
-#
-interface(`userdom_user_home_dir_filetrans_user_cert',`
-	gen_require(`
-		type user_cert_t;
-	')
-
-	userdom_user_home_dir_filetrans($1, user_cert_t, $2, $3)
-')
-
 ########################################
 ## <summary>
 ##	Allow relabeling resources to user_cert_t