diff options
| author | Daniel De Graaf <dgdegra@tycho.nsa.gov> | 2013-02-13 16:06:57 +0000 |
|---|---|---|
| committer | Ian Jackson <Ian.Jackson@eu.citrix.com> | 2013-02-22 17:16:35 +0000 |
| commit | 13dd8043cda1efeb683a05b995cb134e9662b87b (patch) | |
| tree | 9e2150774f6eff6e80d422d9226034a91e54ff2a /config | |
| parent | 2393441e5808b5ac4d76510560b3200c91f67409 (diff) | |
| download | xen-13dd8043cda1efeb683a05b995cb134e9662b87b.tar.gz xen-13dd8043cda1efeb683a05b995cb134e9662b87b.tar.bz2 xen-13dd8043cda1efeb683a05b995cb134e9662b87b.zip | |
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>
Diffstat (limited to 'config')
| -rw-r--r-- | config/Tools.mk.in | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/config/Tools.mk.in b/config/Tools.mk.in index 3967e7d773..c69c7d2bec 100644 --- a/config/Tools.mk.in +++ b/config/Tools.mk.in @@ -46,6 +46,7 @@ GIT_HTTP := @githttp@ XENSTAT_XENTOP := @monitors@ LIBXENAPI_BINDINGS := @xenapi@ OCAML_TOOLS := @ocamltools@ +FLASK_POLICY := @xsmpolicy@ CONFIG_MINITERM := @miniterm@ CONFIG_LOMOUNT := @lomount@ CONFIG_OVMF := @ovmf@ |