[<prev] [next>] [<thread-prev] [thread-next>] [day] [month] [year] [list]
Message-ID: <20220523210443.GD25949@1wt.eu>
Date: Mon, 23 May 2022 23:04:43 +0200
From: Willy Tarreau <w@....eu>
To: Linus Torvalds <torvalds@...ux-foundation.org>
Cc: "Paul E. McKenney" <paulmck@...nel.org>,
Linux Kernel Mailing List <linux-kernel@...r.kernel.org>,
Kernel Team <kernel-team@...com>
Subject: Re: [GIT PULL] nolibc changes for v5.19
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:
> > On Mon, May 23, 2022 at 1:23 PM Willy Tarreau <w@....eu> wrote:
> > >
> > > So I've figured it again. When you run:
> > >
> > > make tools/help
> > >
> > > you get the help of tools/ commands, [..]
> >
> > 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.
I think I found it:
make -C tools/ <tool>_<command>
and:
make tools/<tool>_<command>
work the same on all commands but actually:
make -C tools/ nolibc_headers
fails while:
make tools/nolibc_headers
works. I've essentially used the latter by simplicity without noticing
that it doesn't work as suggested with <tool>_install, and I guess
that's what you got.
I'll check why it's like this and will propose a fix.
Thanks,
Willy
Powered by blists - more mailing lists