From: cpebenito@tresys.com (Christopher J. PeBenito)
Date: Mon, 23 Apr 2012 09:19:38 -0400
Subject: [refpolicy] [PATCH 1/2] Many users use a separate mount for
	/usr/portage
In-Reply-To: <20120325124044.GB13219@siphos.be>
References: <20120325123929.GA13219@siphos.be>
	<20120325124044.GB13219@siphos.be>
Message-ID: <4F9556EA.2020203@tresys.com>
To: refpolicy@oss.tresys.com
List-Id: refpolicy.oss.tresys.com

On 03/25/12 08:40, Sven Vermeulen wrote:
> The /usr/portage location in the Gentoo distribution is often used as a
> separate mount.
> 
> Signed-off-by: Sven Vermeulen <sven.vermeulen@siphos.be>
> ---
>  portage.te |    2 +-
>  1 files changed, 1 insertions(+), 1 deletions(-)
> 
> diff --git a/portage.te b/portage.te
> index 4735035..c1c2768 100644
> --- a/portage.te
> +++ b/portage.te
> @@ -47,7 +47,7 @@ type portage_devpts_t;
>  term_pty(portage_devpts_t)
>  
>  type portage_ebuild_t;
> -files_type(portage_ebuild_t)
> +files_mountpoint(portage_ebuild_t)
>  
>  type portage_fetch_tmp_t;
>  files_tmp_file(portage_fetch_tmp_t)

Merged.

-- 
Chris PeBenito
Tresys Technology, LLC
www.tresys.com | oss.tresys.com