Daniel De Graaf 13dd8043cd 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>

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

..

policy

flask/policy: rework policy build system

2013-02-22 17:15:39 +00:00

utils

tools/flask: remove libflask

2012-02-06 05:03:32 -08:00

Makefile

tools/flask: add FLASK policy to build

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