Re: [PATCH] coccicheck: optionally process every source file at once

2019-05-06 Thread Duy Nguyen
On Mon, May 6, 2019 at 12:13 PM Jeff King wrote: > This reduces the time required to run make coccicheck by a significant > amount of time: > > Prior timing of make coccicheck > real6m14.090s > user25m2.606s > sys 1m22.919s > > New timing of make coccicheck > real1m36.580s

[PATCH] coccicheck: optionally process every source file at once

2019-05-05 Thread Jeff King
erience. I think there was a suggestion to make it conditional. So maybe something like this? -- >8 -- From: Jacob Keller Subject: [PATCH] coccicheck: optionally process every source file at once make coccicheck is used in order to apply coccinelle semantic patches, and see if any of the tran