On 03/06/2018 02:48 PM, Dibyendu Majumdar wrote: > On 5 March 2018 at 23:26, Randy Dunlap <rdunlap@xxxxxxxxxxxxx> wrote: >> OK, I think that I have it configured now. I just missed the last new bug >> entry from Dibyendu, but any new ones or any updates should appear on the >> sparse mailing list .. if it all works. We'll see. >> > > Hi, perhaps it did not work as I raised a new ticket. You are right, it's not working. I'll keep hacking on it. thanks, -- ~Randy -- 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
