Merge pull request #401 from antmicro/enable-lto
authorenjoy-digital <florent@enjoy-digital.fr>
Tue, 25 Feb 2020 14:32:12 +0000 (15:32 +0100)
committerGitHub <noreply@github.com>
Tue, 25 Feb 2020 14:32:12 +0000 (15:32 +0100)
software: enable link time optimization (LTO)


Trivial merge