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

/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/
H A Dcompile264 cfile=
287 cfile=$1
300 if test -z "$ofile" || test -z "$cfile"; then
310 cofile=`echo "$cfile" | sed 's|^.*[\\/]||; s|^[a-zA-Z]:||; s/\.c$/.o/'`
/seL4-l4v-10.1.1/seL4/libsel4/tools/
H A Dsyscall_stub_gen.py1007 wsizegroup.add_argument("-c", "--cfile", dest="cfile",
1020 if not (args.wsize or args.cfile):
1021 parser.error("Require either -w/--word-size or -c/--cfile argument.")
1027 if args.cfile:
1029 with open(args.cfile) as conffile:
/seL4-l4v-10.1.1/seL4/manual/tools/libsel4_tools/
H A Dsyscall_stub_gen.py1007 wsizegroup.add_argument("-c", "--cfile", dest="cfile",
1020 if not (args.wsize or args.cfile):
1021 parser.error("Require either -w/--word-size or -c/--cfile argument.")
1027 if args.cfile:
1029 with open(args.cfile) as conffile:

Completed in 87 milliseconds