Re: [Xen-devel] [PATCH] tools: adjust rules for FLASK policy generation

2016-01-16 Thread Doug Goldstein
On 1/14/16 3:43 PM, Doug Goldstein wrote: > Change the default on the --{enable,disable}-xsmpolicy configure switch > to disabled by default but always build the necessary utilities for > FLASK. The result is that the tools will always be built (and can be > omitted by the packager) but the policy

[Xen-devel] [PATCH] tools: adjust rules for FLASK policy generation

2016-01-14 Thread Doug Goldstein
Change the default on the --{enable,disable}-xsmpolicy configure switch to disabled by default but always build the necessary utilities for FLASK. The result is that the tools will always be built (and can be omitted by the packager) but the policy won't always be generated and installed if the too