Searched refs:platdir (Results 1 – 2 of 2) sorted by relevance
643 typeset platdir=671 platdir=$INSTALL_FILES/platform/$KARCH/$GLOMNAME673 machdir=$platdir687 destdir=$platdir/misc/$b64tgtdir698 $platdir/kmdb/$b64tgtdir $b64srcdir715 $platdir/kmdb/$b32tgtdir $b32srcdir
210 [[ -d $platdir ]] && platdir=${platdir#$sysroot} || continue211 echo "fmsim: populating $platdir from $sysroot ... \c"