| Age | Commit message (Collapse) | Author |
|---|
|
|
|
|
|
This avoids using bash read(1) to loop over the files, as we've already gotten
decent speedups from avoiding bash read(1). This means we've got at least two
more fork/exec's because of xargs, but it's probably worth it.
But that's kind of premature-optimization; the time improvement here is
probably just random noise.
But, I think this makes the code more maintainable/manageable too, so I'm
committing it.
|
|
This shaves off a decent chunk of time, and simplifies the code.
|
|
This substantially speeds things up because it doesn't have to set up and tear
down the Python runtime for every single C file now.
|
|
This shaves off a decent chunk of time because Bash read(1) is slow because it
can't buffer and has to read(2) one byte at a time.
|
|
So now it should cache calls to `cpp` or filesystem checks, which are
comparatively expensive.
|
|
|
|
|
|
|
