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 --- .hgignore | 5 +++++ 1 file changed, 5 insertions(+) (limited to '.hgignore') diff --git a/.hgignore b/.hgignore index 344792a7b1..5ed903ffea 100644 --- a/.hgignore +++ b/.hgignore @@ -339,6 +339,11 @@ ^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