On Tue, May 21, 2013 at 7:49 PM, Jonathan Neuschäfer <j.neuschaefer@xxxxxxx> wrote: > The variable in question is set when an error message is output, > and doesn't control termination at all, so I think the new name > matches the semantics better. > > Cc: Christopher Li <sparse@xxxxxxxxxxx> > Cc: Pekka Enberg <penberg@xxxxxxxxxx> > Cc: Xi Wang <xi.wang@xxxxxxxxx> > Signed-off-by: Jonathan Neuschäfer <j.neuschaefer@xxxxxxx> Chris, are you OK with me picking this up in the sparse-llvm tree? -- To unsubscribe from this list: send the line "unsubscribe linux-sparse" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html