Searched refs:output_name (Results 1 - 3 of 3) sorted by relevance

/seL4-l4v-10.1.1/graph-refine/graph-to-graph/wcet_scripts/
H A Dunspecified_pre_cond.py18 print "usage: %s original_file output_name" % sys.argv[0]
21 output_name = sys.argv[2] variable
24 output = open(output_name, 'w')
/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/
H A Dltmain.sh2709 # func_write_libtool_object output_name pic_name nonpic_name
10541 output_name=$func_basename_result
10543 cwrappersource=$output_path/$objdir/lt-$output_name.c
10544 cwrapper=$output_path/$output_name.exe
/seL4-l4v-10.1.1/HOL4/polyml/
H A Dltmain.sh2709 # func_write_libtool_object output_name pic_name nonpic_name
10541 output_name=$func_basename_result
10543 cwrappersource=$output_path/$objdir/lt-$output_name.c
10544 cwrapper=$output_path/$output_name.exe

Completed in 96 milliseconds