> The goal is that the user can easily find the stdou and stderr information > while the semantic patch is running.
It matters when the tool “spatch” tries to apply its own parallelisation strategy. > This is useful for long running semantic patches to see > if things are going well or not. Yes, of course. > I decided on creating a directory that contains the name of the semantic > patch, then the date, then the pid. I imagine that time stamps and process identifiers can become fragile. > It should be easy for the user to see which is the most recent, > in the case that previous instances are remaining. This is usually fine. > The goal is to avoid getting a mysterious error from make coccicheck, > not to meet the needs of advanced users. * How advanced are they if they pass the parameter “CHECK=scripts/coccicheck”? * The Linux make script will be improved so that extra parallelisation will be usually avoided by the Coccinelle software. Regards, Markus _______________________________________________ Cocci mailing list Cocci@systeme.lip6.fr https://systeme.lip6.fr/mailman/listinfo/cocci