From: Ian Jackson <ian.jackson@eu.citrix.com>
Date: Wed, 27 Mar 2013 17:13:33 +0000 (+0000)
Subject: .gitignore: Add some flask files
X-Git-Tag: archive/raspbian/4.8.0-1+rpi1~1^2~7076
X-Git-Url: https://dgit.raspbian.org/?a=commitdiff_plain;h=fb0dc52d1ca5c342865c40cdb5521773f8c5d7ae;p=xen.git

.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 fce8c892cd..6753368301 100644
--- 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.*