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

> > -----Original Message-----
> > From: Julia Lawall [mailto:[email protected]]
> > Sent: Wednesday, March 23, 2016 3:47 PM
> > To: Keller, Jacob E <[email protected]>
> > Cc: [email protected]
> > Subject: Re: [Cocci] spatch temporary files issues
> > 
> > 
> > 
> > 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
> 
> I am working on re-writing the makefile that does this to locate to a 
> different place. Long term it would be nicer if we didn't have to do that.

Sure.  I can fix it within the next day or two, if you could wait for 
that.

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

Reply via email to