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

/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/
H A Dmsvcc.sh182 outdir="$(dirname $2)"
192 args="$args $output -Fd$outdir/$base -Fp$outdir/$base -Fa$outdir/$base"
231 if [ -z "$outdir" ]; then
232 outdir="."
234 ppsrc="$outdir/$(basename $src|sed 's/.S$/.asm/g')"
245 #mv *.obj $outdir

Completed in 35 milliseconds