diff options
| author | Dmitry Vyukov <dvyukov@google.com> | 2017-05-26 16:11:54 +0200 |
|---|---|---|
| committer | Dmitry Vyukov <dvyukov@google.com> | 2017-05-29 13:15:17 +0200 |
| commit | adc9c8bb06990ffb36b8b1f6a25bd71f8ebe66b0 (patch) | |
| tree | 03b54a4607071f0ae30a4a94d67ffc9e71b7c8c1 /executor/common.h | |
| parent | b6bb95c0abc1b3f572a04618eb62427b15e3adf5 (diff) | |
sysgen: speed up
Formatting generated sources takes tremendous amount of time (6s).
Leave them unformatted. Reduces sysgen time to virtually 0.
Diffstat (limited to 'executor/common.h')
0 files changed, 0 insertions, 0 deletions