From d05b3ddfdc8bb4c51c9764a6afaf7a3cce4a15fd Mon Sep 17 00:00:00 2001 From: Daniel De Graaf Date: Thu, 10 Jan 2013 17:30:47 +0000 Subject: flask: move policy headers into hypervisor Rather than keeping around headers that are autogenerated in order to avoid adding build dependencies from xen/ to files in tools/, move the relevant parts of the FLASK policy into the hypervisor tree and generate the headers as part of the hypervisor's build. Signed-off-by: Daniel De Graaf Committed-by: Keir Fraser --- .gitignore | 5 +++++ 1 file changed, 5 insertions(+) (limited to '.gitignore') diff --git a/.gitignore b/.gitignore index f71cff8d78..02ea1fafab 100644 --- a/.gitignore +++ b/.gitignore @@ -314,6 +314,11 @@ xen/include/xen/banner.h xen/include/xen/compile.h xen/tools/figlet/figlet xen/tools/symbols +xen/xsm/flask/include/av_perm_to_string.h +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 xen/xen xen/xen-syms xen/xen.* -- cgit v1.2.3