diff options
| author | Daniel De Graaf <dgdegra@tycho.nsa.gov> | 2012-01-10 16:04:25 +0000 |
|---|---|---|
| committer | Daniel De Graaf <dgdegra@tycho.nsa.gov> | 2012-01-10 16:04:25 +0000 |
| commit | ed6ec8137c3f75310eb7e86be49a36fc41bc7772 (patch) | |
| tree | c59a4f0fd940871671e0dd40040c10a2a1838e3c /tools/flask | |
| parent | a69dda2bcef661c81b88b52053eef4369cb11b01 (diff) | |
| download | xen-ed6ec8137c3f75310eb7e86be49a36fc41bc7772.tar.gz xen-ed6ec8137c3f75310eb7e86be49a36fc41bc7772.tar.bz2 xen-ed6ec8137c3f75310eb7e86be49a36fc41bc7772.zip | |
docs: Update xsm-flask documentation
Signed-off-by: Daniel De Graaf <dgdegra@tycho.nsa.gov>
Committed-by: Ian Jackson <ian.jackson.citrix.com>
Diffstat (limited to 'tools/flask')
| -rw-r--r-- | tools/flask/policy/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tools/flask/policy/Makefile b/tools/flask/policy/Makefile index e39f0761ea..a27c813fb0 100644 --- a/tools/flask/policy/Makefile +++ b/tools/flask/policy/Makefile @@ -20,7 +20,7 @@ # By default, checkpolicy will create the highest # version policy it supports. Setting this will # override the version. -# OUTPUT_POLICY = 24 +OUTPUT_POLICY = 24 # Policy Type # xen |