Re: [GIT PULL] nolibc changes for v5.19

[Linus Torvalds <torvalds@linux-foundation.org>]

On Mon, May 23, 2022 at 2:04 PM Willy Tarreau <w@1wt.eu> wrote:
>
> On Mon, May 23, 2022 at 10:50:43PM +0200, Willy Tarreau wrote:
> > On Mon, May 23, 2022 at 01:30:37PM -0700, Linus Torvalds wrote:
> > >
> > > You speak the words, but you don't actually look at what it does.
> > >
> > > Try it.
> >
> > Why are you saying this ? I've figured the commands by trying
> > each of them.

Try this:

   make tools/help

and then actually *LOOK* at what it prints out.

Notice how it says 'nolibc' is a target here.

And then think about it. Just for fun, try doing

   make -C tools/ nolibc
   make -C tools/ nolibc_install

like that help message implies you should do.

Does it work? No.

> work the same on all commands but actually:
>
>    make -C tools/ nolibc_headers

Put another way: where did you find that "nolibc_headers"?

THAT is what I'm talking about. You are mentioning all these magical
things that don't match the documentation you yourself added.

                 Linus