diff options
| author | Omer Katz <omer.drow@gmail.com> | 2021-05-10 15:01:19 +0300 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-05-10 12:01:19 +0000 |
| commit | 32c674889f396fd577a7e7a72b6470bb19531f82 (patch) | |
| tree | 7b168f134b69b01649b2de21ca60b4456a8257cf /src/command/search.rs | |
| parent | c02934d184cca5d24a628d2e5ec601e12db2a630 (diff) | |
Increase number of optimizations on release builds. (#101)
This allows us to produce a faster executable (which is useful in shells) at the expense of rarely spending more compilation time upon releasing a new version.
I do this in all of my rust projects, perhaps because they are too small for compilation time to really matter. We should measure next time we release and see how that goes.
Diffstat (limited to 'src/command/search.rs')
0 files changed, 0 insertions, 0 deletions