From da0cf8e721d42b061b44033f741b084edc23f31d Mon Sep 17 00:00:00 2001
From: James Carter
Date: Wed, 11 Apr 2018 14:55:19 -0400
Subject: [PATCH] Mark unused parameters as unused
Marked unused parameters as unused in the interfaces listed below.
userdomain.if:userdom_ro_home_role()
userdomain.if:userdom_manage_home_role()
userdomain.if:userdom_manage_tmp_role()
userdomain.if:userdom_manage_tmpfs_role()
Signed-off-by: James Carter
---
policy/modules/system/userdomain.if | 8 ++++----
1 file changed, 4 insertions(+), 4 deletions(-)
diff --git a/policy/modules/system/userdomain.if b/policy/modules/system/userdomain.if
index 2ae614425..bb507459a 100644
--- a/policy/modules/system/userdomain.if
+++ b/policy/modules/system/userdomain.if
@@ -157,7 +157,7 @@ template(`userdom_base_user_template',`
## This does not allow execute access.
##
##
-##
+##
##
## The user role
##
@@ -228,7 +228,7 @@ interface(`userdom_ro_home_role',`
## This does not allow execute access.
##
##
-##
+##
##
## The user role
##
@@ -300,7 +300,7 @@ interface(`userdom_manage_home_role',`
##
## Manage user temporary files
##
-##
+##
##
## Role allowed access.
##
@@ -363,7 +363,7 @@ interface(`userdom_exec_user_tmp_files',`
## This does not allow execute access.
##
##
-##
+##
##
## Role allowed access.
##