> 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, UK Registration No: 1397386 (Wales)