On Mon, 2015-06-08 at 12:31 -0700, Luis R. Rodriguez wrote: > This is true, its in the like of how we wrote pycocci to provide us > with a multithreaded solution for spatch integration / development as > well and how pycocci now is upstream on Coccinelle. Speaking of which - are you aware that pycocci fails (or rather doesn't fail!) miserably when cocci isn't installed/in the $PATH? At least I got a report to that extent, that it didn't really complete nor report an error in that case. johannes -- To unsubscribe from this list: send the line "unsubscribe backports" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html
