diff options
author | Daniel De Graaf <dgdegra@tycho.nsa.gov> | 2013-01-10 17:30:47 +0000 |
---|---|---|
committer | Daniel De Graaf <dgdegra@tycho.nsa.gov> | 2013-01-10 17:30:47 +0000 |
commit | d05b3ddfdc8bb4c51c9764a6afaf7a3cce4a15fd (patch) | |
tree | 5de7abcce26a2b07ab1ce61e4ea903ac4345ace0 /tools/flask/policy/policy/flask/mkflask.sh | |
parent | 58f88f9eb2f2b16f1870c592c3310593039096e8 (diff) | |
download | xen-d05b3ddfdc8bb4c51c9764a6afaf7a3cce4a15fd.tar.gz xen-d05b3ddfdc8bb4c51c9764a6afaf7a3cce4a15fd.tar.bz2 xen-d05b3ddfdc8bb4c51c9764a6afaf7a3cce4a15fd.zip |
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 <dgdegra@tycho.nsa.gov>
Committed-by: Keir Fraser <keir@xen.org>
Diffstat (limited to 'tools/flask/policy/policy/flask/mkflask.sh')
-rw-r--r-- | tools/flask/policy/policy/flask/mkflask.sh | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/tools/flask/policy/policy/flask/mkflask.sh b/tools/flask/policy/policy/flask/mkflask.sh index 9c847549e2..e8d8fb5d2c 100644 --- a/tools/flask/policy/policy/flask/mkflask.sh +++ b/tools/flask/policy/policy/flask/mkflask.sh @@ -9,9 +9,9 @@ awk=$1 shift 1 # output file -output_file="flask.h" -debug_file="class_to_string.h" -debug_file2="initial_sid_to_string.h" +output_file="include/flask.h" +debug_file="include/class_to_string.h" +debug_file2="include/initial_sid_to_string.h" cat $* | $awk " BEGIN { |