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

/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/
H A Dmsvcc.sh234 ppsrc="$outdir/$(basename $src|sed 's/.S$/.asm/g')"
235 echo "$cl -nologo -EP $includes $defines $src > $ppsrc"
236 "$cl" -nologo -EP $includes $defines $src > $ppsrc || exit $?
238 args="-nologo $safeseh $single $output $ppsrc"

Completed in 34 milliseconds