diff options
| author | Dirk Engling <erdgeist@erdgeist.org> | 2014-02-07 21:21:44 +0100 |
|---|---|---|
| committer | Dirk Engling <erdgeist@erdgeist.org> | 2014-02-07 21:21:44 +0100 |
| commit | b8732d1deeca54d1200d7dccefa04bee2b8ca3aa (patch) | |
| tree | e6adc9c84808204b0b16ecf368b7a38482a74a4f /src/Makefile | |
| parent | b2714458565cac46ec1a79311fec5d4baef415e2 (diff) | |
Eliminate repeating invocation of shell tools by using the pipe more efficently
This reduces the number of forks and saves more than 50% of the conversion time
Diffstat (limited to 'src/Makefile')
0 files changed, 0 insertions, 0 deletions