diff options
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 { |