Zack Weinberg <zack@codesourcery.com> writes: > It is from 2x to 7x faster, depending on whether the filesystem cache > is primed. There doesn't seem to be any way to get it to read > multiple include directories, so the results are not entirely > accurate, but that's a fixable problem. ^^ I meant to say "that's not that significant for this discussion." zw