diff options
Diffstat (limited to 'Makefile')
-rw-r--r-- | Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -7,7 +7,7 @@ all: clean policy check MCS = true MODULES = $(shell find src -type f -name '*.cil' -print0 | sort -z | xargs -r0) -POLVERS = 33 +POLVERS = 34 SELINUXTYPE = dssp5 VERBOSE = false |