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
88 for platdir in $2/usr/platform/*/lib/fm/topo/maps; do89 rm -f $platdir/* 2>/dev/null209 for platdir in $sysroot/usr/platform/*/lib/fm; do210 [[ -d $platdir ]] && platdir=${platdir#$sysroot} || continue211 echo "fmsim: populating $platdir from $sysroot ... \c"212 (cd $sysroot && find ${platdir#/} -depth -print | cpio -pdmu $simroot)