On Fri, Apr 05, 2019 at 05:17:15PM +0000, David Laight wrote: > > Hm, I don't see that in cmd_objtool, or any commits from you in > > scripts/Makefile.build. > > Not sure I remember actually committing them. > Maybe 'git diff' isn't doing what I expect :-) > I hate git. Do you see it here? https://git.kernel.org/pub/scm/linux/kernel/git/torvalds/linux.git/tree/scripts/Makefile.build -- Josh