Lines Matching refs:TOOLS_PROTO
474 /bin/time $MAKE TOOLS_PROTO=${DESTROOT} -e install 2>&1 | \
781 # If it comes interactively, it is generally TOOLS_PROTO, which will be
1037 # TOOLS_PROTO is included below for builds other than usr/src/tools
1043 TOOLS_PROTO=${TOOLS}/${TOOLS_PROTO_REL}; export TOOLS_PROTO
1430 if [ "$w_FLAG" = "y" -a "$t_FLAG" == "y" -a -d "$TOOLS_PROTO" ]; then
1431 if [ -d "$TOOLS_PROTO.prev" ]; then
1432 rm -rf $TOOLS_PROTO.prev
1434 mv $TOOLS_PROTO $TOOLS_PROTO.prev
1522 $MAKE TOOLS_PROTO=$TOOLS_PROTO -ek clobber 2>&1 | \
1531 rm -rf ${TOOLS_PROTO}
1532 mkdir -p ${TOOLS_PROTO}
1801 build_tools ${TOOLS_PROTO}
1805 use_tools $TOOLS_PROTO
1922 ( cd $TOOLS_PROTO; tar cf - . |
2189 do_wsdiff tools $TOOLS_PROTO.prev $TOOLS_PROTO wsdiff-tools.results