On Thu, Feb 3, 2011 at 14:34, SF Markus Elfring <[email protected]> wrote:
> 5 Generation of the result > Normally, the only output is a diff printed to standard output. > ... > -o <file> The output file. > ..." You are confusing the default with an option here. By default a unified diff is printed to stdout. This is what is in the "normally" term here. On the contrary, the -o parameter is outputting a new version of the input C file, essentially the result of applying the diff as a patch to the input C. I agree it could be better worded, and I encourage you to submit a patch if you care. For what it is worth, it is not hard to test the behaviour yourself and I guess that a little time together with spatch make you quite oblivious to the choice of naming and words in the command line option. I know it did for me. -- J. _______________________________________________ Cocci mailing list [email protected] http://lists.diku.dk/mailman/listinfo/cocci (Web access from inside DIKUs LAN only)
