> PS: I found two minor issues while trying: > > - the option '-patch' is deprecated according to the manual.pdf, so it could > be > removed from the help-texts?
Actually, -patch is useful for precisely what you wanted to do - run spatch on a subdirectory, but obtain a patch with respect to the entire source tree. I have updated the manual. > - if the parameter for '-dir' ends with a slash, the resulting patch will miss > a slash after the 'a' and 'b' prefixes, e.g for '-dir drivers/w1/' I have fixed this. We should make a new release with both changes soon. julia _______________________________________________ Cocci mailing list [email protected] http://lists.diku.dk/mailman/listinfo/cocci (Web access from inside DIKUs LAN only)
