]> xenbits.xensource.com Git - xen.git/commit
projects / xen.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 2393441) | patch
tools/flask: add FLASK policy to build
authorDaniel De Graaf <dgdegra@tycho.nsa.gov>
Wed, 13 Feb 2013 16:06:57 +0000 (16:06 +0000)
committerIan Jackson <Ian.Jackson@eu.citrix.com>
Fri, 22 Feb 2013 17:16:35 +0000 (17:16 +0000)
commit13dd8043cda1efeb683a05b995cb134e9662b87b
tree9e2150774f6eff6e80d422d9226034a91e54ff2atree
parent2393441e5808b5ac4d76510560b3200c91f67409commit | diff
tools/flask: add FLASK policy to build

This patch enables the compilation of the FLASK policy as part of the
tools build if the needed prerequisites are present.

Signed-off-by: Daniel De Graaf <dgdegra@tycho.nsa.gov>
Signed-off-by: Ian Jackson <ian.jackson@eu.citrix.com>
config/Tools.mk.in diff | blob | blame | history
m4/checkpolicy.m4 [new file with mode: 0644] blob
tools/configure diff | blob | blame | history
tools/configure.ac diff | blob | blame | history
tools/flask/Makefile diff | blob | blame | history
Xen (staging and unstable) mirror