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

From: Willy Tarreau
Date: Sun Dec 30 2018 - 06:39:11 EST

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 :-)