On 7/26/2011 8:53 AM, Michal Marek wrote:
Why not move the loop into some Makefile and let make take care of the parallel execution? Something among the lines of

results := check1.out check2.out ... (generated)
coccicheck: $(results)
    cat $^

%.out: FORCE
    ... run given test and store its result ...

then the user can simply type make -j6 coccicheck.

Note: I haven't seen the patch, I only got Nicolas' mail now.

Michal


yes, I agree, that would be better - especially from a user perspective.
I'm not much of a makefile expert at all. I did try that approach initially, but it seemed like it was going to turn into a rewrite of the coccinelle script. If someone can do it via make, I'd say go for it :) I won't have much free time for the foreseeable future to tackle it. using "make -j" is much more comfortable and intuitive than typing PARALLEL= ...

Greg
_______________________________________________
Cocci mailing list
[email protected]
http://lists.diku.dk/mailman/listinfo/cocci
(Web access from inside DIKUs LAN only)

Reply via email to