Re: [PATCH 3/3] objtool: move tools/objtool/ to scripts/objtool/
From: Peter Zijlstra
Date: Tue Mar 05 2019 - 12:00:19 EST
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 :-)