> 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. David-Registered Address Lakeside, Bramley Road, Mount Farm, Milton Keynes, MK1 1PT, UKRegistration No: 1397386 (Wales)