diff options
Diffstat (limited to 'tools/flask/policy/Makefile')
-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 |