On Thu, 20 Dec 2018 16:23:38 +0100 Thorsten Leemhuis <li...@leemhuis.info> wrote:
> While at it: Jonathan, you mentioned putting the script in scripts/, but > according to the Makefile in that directory it is "for various helper > programs used throughout the kernel for the build process". That's one > reason why it feels wrong to put it there. Another one: that script > targets users and thus we should try to make sure they can access it > easily. That's why I'm currently inclined to put it in tools/ somewhere. Yeah, tools/ is a better place. Maybe a tools/debugging directory or some such? jon
