Home
last modified time | relevance | path

Searched refs:output_dir (Results 1 – 2 of 2) sorted by relevance

/xen/xen/xsm/flask/policy/
A Dmkflask.sh11 output_dir=$1
15 output_file="$output_dir/flask.h"
16 debug_file="$output_dir/class_to_string.h"
17 debug_file2="$output_dir/initial_sid_to_string.h"
/xen/tools/misc/
A Dxencov_split48 if opts.output_dir == '.':
49 opts.output_dir = os.getcwd()
51 dir = opts.output_dir + path.dirname(fn)

Completed in 3 milliseconds