tree 469e1ef1a60e9f1207a336575b5d09f522ca36a9
parent 16c6605da16836606178780562551d73581203eb
author Eric Paris <eparis@redhat.com> 1301333943 -0400
committer Steve Lawrence <slawrence@tresys.com> 1304104256 -0400

checkpolicy: use #define for dismod selections

We just use random numbers to make menu selections.  Use #defines and
names that make some sense instead.

Signed-off-by: Eric Paris <eparis@redhat.com>
Signed-off-by: Steve Lawrence <slawrence@tresys.com>