Messages in this thread | | | Date | Sun, 30 Dec 2018 12:50:48 +0100 | From | Ingo Molnar <> | Subject | Re: [PATCH] tools headers: move the nolibc header from rcutorture to tools/include/nolibc/ |
| |
* Willy Tarreau <w@1wt.eu> wrote:
> On Sun, Dec 30, 2018 at 12:25:02PM +0100, Ingo Molnar wrote: > 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? > > It's exactly what the last patch does, I followed your suggestion :-)
Silly me - I only looked at the series of patches and didn't see a file movement patch there :-)
Thanks,
Ingo
| |