On Wed, 23 Mar 2016, Keller, Jacob E wrote:

> Hi,
> 
> I am using coccinelle for a project, and have run into an issue regarding the 
> temporary director created by spatch when it runs on a given cocci file.
> 
> Fatal error: exception Failure("Directory memcpy-assign used for temporary 
> files already exists and should be removed.")
> 
> This occurs because I run in parallel, the same cocci script in the same 
> directory against different sets of files.
> 
> Does there exist an option to control where the temporary files are located?

No, currently it's just determined by the file name.  Could you invoke 
your semantic patch from different places?

In any case, this could be improved, but I can't do it immediately.

julia
_______________________________________________
Cocci mailing list
[email protected]
https://systeme.lip6.fr/mailman/listinfo/cocci

Reply via email to