Lines Matching refs:TOOLS_PROTO
472 /bin/time $MAKE TOOLS_PROTO=${DESTROOT} -e install 2>&1 | \
776 # If it comes interactively, it is generally TOOLS_PROTO, which will be
1031 # TOOLS_PROTO is included below for builds other than usr/src/tools
1037 TOOLS_PROTO=${TOOLS}/${TOOLS_PROTO_REL}; export TOOLS_PROTO
1504 $MAKE TOOLS_PROTO=$TOOLS_PROTO -ek clobber 2>&1 | \
1513 rm -rf ${TOOLS_PROTO}
1514 mkdir -p ${TOOLS_PROTO}
1782 build_tools ${TOOLS_PROTO}
1786 use_tools $TOOLS_PROTO
1903 ( cd $TOOLS_PROTO; tar cf - . |