Hi Nicolas, On Fri, Oct 08, 2010 at 09:40:45PM +0200, Nicolas Palix wrote: > The point is that the "*" produces invalid diff output that should not > be used with > the patch tool. By using /tmp/nothing, we prevent such usage.
Ah-ha. That would explain it. :) > Is counting lines beginning with "-" and not "---" not enough in your case ? Well, it's just harder for me to review a large report, since "diffstat" uses the - file, not the + file for its summary of the report. I have worked around in in the meantime (I just reprocess the output). Thanks, -Kees -- Kees Cook Ubuntu Security Team _______________________________________________ Cocci mailing list [email protected] http://lists.diku.dk/mailman/listinfo/cocci (Web access from inside DIKUs LAN only)
