On Thu, 26 Jul 2018, Timur Tabi wrote:
> I need to run the "p4 edit" command before spatch can modify any file.
> Is there a way to do either of the following:
>
> 1. Provide a list of files that "spatch --in-place --dir ." would edit
I'm not sure to understand what you are asking for here.
> 2. Have spatch run the "p4 edit" command on a file before changing it
I don't think so. Maybe you could make a script to do this.
julia
_______________________________________________
Cocci mailing list
[email protected]
https://systeme.lip6.fr/mailman/listinfo/cocci
