diff options
| author | Davide Cavalca <davide125@tiscali.it> | 2016-07-28 20:42:45 -0700 |
|---|---|---|
| committer | Zbigniew Jędrzejewski-Szmek <zbyszek@in.waw.pl> | 2016-07-28 23:42:45 -0400 |
| commit | 4e3382bdd70a54628ffe030c5d37e06713c329ab (patch) | |
| tree | da039e6682865207c63c30605e738cba41572a84 /man | |
| parent | 689e4e6a94222b4d58a8b9cb3c51cc2f82268aa9 (diff) | |
build-sys: conditionally disable LTO if requested (#3823)
This adds a --disable-lto option to ./configure, but does not change the
default behavior.
Diffstat (limited to 'man')
0 files changed, 0 insertions, 0 deletions