Wei Liu d1f5aef122 flask/policy: use naming convention xenpolicy-$(XEN_FULLVERSION) ...

Daniel suggested we use xenpolicy-$(XEN_FULLVERSION) as flask policy
naming convention.

Signed-off-by: Wei Liu <wei.liu2@citrix.com>
Cc: Daniel De Graaf <dgdegra@tycho.nsa.gov>
Cc: Ian Campbell <ian.campbell@citrix.com>
Acked-by: Daniel De Graaf <dgdegra@tycho.nsa.gov>

2014-09-24 10:05:30 +01:00

..

policy

flask/policy: use naming convention xenpolicy-$(XEN_FULLVERSION)

2014-09-24 10:05:30 +01:00

utils

tools: remove duplicate -Wall from CFLAGS

2014-08-21 23:12:39 +01:00

Makefile

tools/flask: add FLASK policy to build

2013-02-22 17:16:35 +00:00