tree 7322f31e76890a13e1dec4ce9d0715a3959beb5f
parent 25ce1029073dcad7210fdb08b1a3d65edf9f76ec
author Gary Tierney <gary.tierney@fastmail.com> 1555519050 +0100
committer James Carter <jwcart2@tycho.nsa.gov> 1555693844 -0400

checkmodule: add support for specifying module policy version

Currently checkpolicy can produce binary policies for earlier policy versions
to provide support for building policies on one machine and loading/analyzing
them on another machine with an earlier version of the kernel or libsepol,
respectively. However, checkmodule was lacking this capability.

This commit adds an identical `-c` flag that can be passed to checkmodule that
will build a modular policy file of the specified version.

Signed-off-by: Gary Tierney <gary.tierney@fastmail.com>