diff options
author | Lukas Larsson <[email protected]> | 2017-10-30 15:23:47 +0100 |
---|---|---|
committer | Lukas Larsson <[email protected]> | 2017-10-30 15:23:47 +0100 |
commit | 8bdd9727cbf73b576e6b4303d5e86e3ebbc9e4fa (patch) | |
tree | 88c85b4e8f5824d7765a6baa3a989944dec16413 /.gitignore | |
parent | 5c05e738eadcd0b6239b287adb536847da65bba1 (diff) | |
parent | 8c8467e3ad26932aaacfb01efb2118d986e5200f (diff) | |
download | otp-8bdd9727cbf73b576e6b4303d5e86e3ebbc9e4fa.tar.gz otp-8bdd9727cbf73b576e6b4303d5e86e3ebbc9e4fa.tar.bz2 otp-8bdd9727cbf73b576e6b4303d5e86e3ebbc9e4fa.zip |
Merge branch 'lukas/erts/pgo/OTP-14604'
* lukas/erts/pgo/OTP-14604:
erts: Only do PGO if gcc supports -fprofile-correction
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions