tree 73d2aaa89d5a2c8a1ad98e3a98e5dcbab76779a6
parent cb271f7d4c1957950f4d1197b4973722705fb5b3
author Steve Lawrence <slawrence@tresys.com> 1305549600 -0400
committer Steve Lawrence <slawrence@tresys.com> 1305641762 -0400

checkpolicy: wrap file names in filename trans with quotes

This wraps the filename token in quotes to make parsing easier and more
clear. The quotes are stripped off before being passed to checkpolicy.
The quote wrapping is only used by filename transitions.  This changes
the filename transition syntax to the following:

    type_transition source target : object default_type "filename";

Signed-off-by: Steve Lawrence <slawrence@tresys.com>