.gitignore: Add some flask files

Signed-off-by: Ian Jackson <Ian.Jackson@eu.citrix.com>
Cc: Daniel De Graaf <dgdegra@tycho.nsa.gov>

diff --git a/.gitignore b/.gitignore
index fce8c892cd1e92c5dd130acc31547847cda02fa4..67533683010975d3370e6c4235fb0273d75f38fc 100644 (file)
--- a/.gitignore
+++ b/.gitignore
@@ -341,6 +341,8 @@ xen/xsm/flask/include/av_permissions.h
 xen/xsm/flask/include/class_to_string.h
 xen/xsm/flask/include/flask.h
 xen/xsm/flask/include/initial_sid_to_string.h
+tools/flask/policy/policy.conf
+tools/flask/policy/xenpolicy.24
 xen/xen
 xen/xen-syms
 xen/xen.*