Re: [PATCH 3/3] objtool: move tools/objtool/ to scripts/objtool/

Peter Zijlstra
2019-03-05T17:00:18Z

On Tue, Mar 05, 2019 at 10:36:09AM -0600, Josh Poimboeuf wrote:
> Anyway I would like to hear what Ingo and Peter think about moving it.

Pain :-)