Re: [Qemu-devel] [RFC PATCH 3/4] coccinelle: script to run them all

[Philippe Mathieu-Daudé]

On Mon, Jun 26, 2017 at 11:17 PM, Eduardo Habkost <address@hidden> wrote:
> On Sun, Jun 25, 2017 at 04:29:49PM -0300, Philippe Mathieu-Daudé wrote:
[...]
>> +test -z "$(${SUDO} docker images -q ${SPATCH_IMAGE})" && ${SUDO} docker 
>> pull ${SPATCH_IMAGE}
>> +
>
> Can the docker magic be made optional (and disabled by default), so
> people who already have Coccinelle installed can run this script more
> quickly?

Ok. Actually I didn't even think about running out of docker, the list
of ocaml requisites scared me a bit.
Using a dockerized spatch allow to stick to a common version (so I
know the scripts I run locally will run exactly the same on Travis).
But it makes sens ;)
I tried the multi-threaded options and for some reason they did not
work within docker, but I did not try out of it.

Regards,

Phil.