On Thu, 21 Feb 2002, Joe Buck wrote: > If the patch is ordered in such a way that diffs to derived files appear after > diffs to the base files, then gcc_update is not needed. I don't think GNU diff has an option to provide any sort of partial ordering information to get the diffs ordered that way. -- Joseph S. Myers jsm28@cam.ac.uk