Re: [Xen-devel] [PATCH] flask/policy: use naming convention xenpolicy-$(XEN_FULLVERSION)

[Daniel De Graaf <dgdegra@xxxxxxxxxxxxx>]

On 09/15/2014 03:29 PM, Wei Liu wrote:
> Daniel suggested we use xenpolicy-$(XEN_FULLVERSION) as flask policy
> naming convention.
>
> Signed-off-by: Wei Liu <wei.liu2@xxxxxxxxxx>
> Cc: Daniel De Graaf <dgdegra@xxxxxxxxxxxxx>
> Cc: Ian Campbell <ian.campbell@xxxxxxxxxx>
Acked-by: Daniel De Graaf <dgdegra@xxxxxxxxxxxxx>

> ---
>   .gitignore                  |    2 +-
>   tools/flask/policy/Makefile |    2 +-
>   2 files changed, 2 insertions(+), 2 deletions(-)
>
> diff --git a/.gitignore b/.gitignore
> index 6d725aa..e5ad43d 100644
> --- a/.gitignore
> +++ b/.gitignore
> @@ -272,7 +272,7 @@ xen/xsm/flask/include/class_to_string.h
>   xen/xsm/flask/include/flask.h
>   xen/xsm/flask/include/initial_sid_to_string.h
>   tools/flask/policy/policy.conf
> -tools/flask/policy/xenpolicy.24
> +tools/flask/policy/xenpolicy-*
>   xen/xen
>   xen/xen-syms
>   xen/xen.*
> diff --git a/tools/flask/policy/Makefile b/tools/flask/policy/Makefile
> index a1c0f11..5d8cfbf 100644
> --- a/tools/flask/policy/Makefile
> +++ b/tools/flask/policy/Makefile
> @@ -32,7 +32,7 @@ M4 ?= m4
>   # include the Xen policy type (needed for static device policy).
>   OUTPUT_POLICY = 24
>
> -POLICY_FILENAME = xenpolicy.$(OUTPUT_POLICY)
> +POLICY_FILENAME = xenpolicy-$(shell $(MAKE) -C $(XEN_ROOT)/xen xenversion 
> --no-print-directory)
>   POLICY_LOADPATH = /boot
>
>   # policy source layout

--
Daniel De Graaf
National Security Agency

_______________________________________________
Xen-devel mailing list
Xen-devel@xxxxxxxxxxxxx
http://lists.xen.org/xen-devel