Lines Matching refs:tools
1096 [-N NOISY] [-O OOBJ] [-R RELEASE] [-S SEED] [-T TOOLS]
1111 Build OPERATIONs (all imply "obj" and "tools"):
1124 tools Build and install tools.
1202 -T TOOLS Set TOOLDIR=TOOLS. If unset, and TOOLDIR is not set
1209 Without this, everything is rebuilt, including the tools.
1563 tools)
1910 ${HOST_SH} "${TOP}/tools/make/configure" ${configure_args} ||
2039 # make obj in tools to ensure that the objdir for "tools"
2042 ${runcmd} cd tools
2044 bomb "Failed to make obj in tools"
2281 ${runcmd} "${makewrapper}" ${parallel} obj-tools ||
2282 bomb "Failed to make obj-tools"
2286 make_in_dir tools cleandir
2288 make_in_dir tools build_install
2289 statusmsg "Tools built to ${TOOLDIR}"
2353 # Building tools every time we build a kernel is clearly
2355 # the tools is necessary this time, but it doesn't seem worth
2357 # to rebuild the tools if necessary.
2359 statusmsg "Building kernel without building new tools"
2373 "You need to \"$0 tools\" first"
2429 # Building tools every time we build modules is clearly
2432 statusmsg "Building modules without building new tools"
2566 # XXX Unprivileged native tools, privileged cross.
2894 tools)
Indexes created Sun Feb 15 12:34:49 CET 2026