diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2017-02-02 08:06:06 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2017-02-02 08:06:06 +0100 |
| commit | 44d386ee80b723b354b240a29044e33039287716 (patch) | |
| tree | 191cd08230d7c5adb3864892ed1e5116546330ab /misc/scripts/addheader.py | |
| parent | ff4ca593e2e715ac59243e83ae5949f3d94fa25f (diff) | |
| parent | 7a85d25218971506058a992d21821b47e153ec78 (diff) | |
Merge pull request #7645 from tagcup/x11_optimization_flags_v2
Use -Ofast on x11. Also introduced use_lto option.
Diffstat (limited to 'misc/scripts/addheader.py')
0 files changed, 0 insertions, 0 deletions