Messages in this thread | | | Date | Mon, 28 Sep 2015 15:13:48 +0200 (CEST) | From | Julia Lawall <> | Subject | Re: [Cocci] [PATCH v2] coccinelle: assign signed result to unsigned variable |
| |
On Mon, 28 Sep 2015, SF Markus Elfring wrote:
> > I guess parallelism would be helpful? > > You could try the following options: > > > > -j n --chunksize 10 --recursive-includes --include-headers-for-types > > > > where n is the number of cores that you want to use. > > Has the make target "coccicheck" direct support for such special parameters? > > > > Parsed header files will be cached within chunks. > > Can the Coccinelle software work together with a kind of "precompiled > header database"?
There is an option --use-cache, which caches the compiled code on the disk. But I have not found the effects to be very satisfactory. It is still necessary to read in the serialized code.
julia
| |