tree cf1e5c7721863ff67771f44474edee1066990d2d
parent 68ed273fde09e9ab24761373567d91f461d246cc
author Yuli Khodorkovskiy <ykhodorkovskiy@tresys.com> 1424978159 -0500
committer Steve Lawrence <slawrence@tresys.com> 1425044519 -0500

libsemanage: Add option to remove HLL files after compilation

This adds a 'remove-hll' option to semanage.conf. If set to 'true', all
HLL files will be removed from the SELinux store after successfully
buildling the SELinux modules. The default for this option is 'false'.

In order to delete already compiled HLL files, the modules need to be
recompiled with the ignore-module-cache option.

Signed-off-by: Yuli Khodorkovskiy <ykhodorkovskiy@tresys.com>
Acked-by: Steve Lawrence <slawrence@tresys.com>