Re: [PATCH] tools headers: move the nolibc header from rcutorture to tools/include/nolibc/

[Ingo Molnar]

* Paul E. McKenney <paulmck@xxxxxxxxxxxxx> wrote:

> On Sat, Dec 29, 2018 at 07:04:53PM +0100, Willy Tarreau wrote:
> > As suggested by Ingo, this header file might benefit other tools than
> > just rcutorture. For now it's quite limited, but is easy to extend, so
> > exposing it into tools/include/nolibc/ will make it much easier to
> > adopt by other tools.
> > 
> > The mkinitrd.sh script in rcutorture was updated to use this new location.
> > 
> > Cc: Ingo Molnar <mingo@xxxxxxxxxx>
> > Cc: Arnaldo Carvalho de Melo <acme@xxxxxxxxxx>
> > Cc: Paul E. McKenney <paulmck@xxxxxxxxxxxxxxxxxx>
> > Signed-off-by: Willy Tarreau <w@xxxxxx>
> 
> Thank you, Willy!  I have queued all four of these.  Should there
> be a MAINTAINERS file entry for the new include/nolibc home for this
> library code?

Very good idea - ack. Could we please also use the opportunity and move 
nolibc.h to a more prominent place, like in tools/include/nolibc/nolibc.h 
or so?

Thanks,

	Ingo