On Fri, May 02, 2014 at 06:33:49AM -0700, Matt Thomas wrote: > How about MKKDEBUG= { yes, no } to fit with other build options? I don't care much for the name, but it is more universal with an arbitrary value instead of a yes/no switch, similar to DBG= for userland builds. Martin