> -----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. Thanks, Jake _______________________________________________ Cocci mailing list [email protected] https://systeme.lip6.fr/mailman/listinfo/cocci
