diff options
| author | Lukas Larsson <[email protected]> | 2017-10-25 10:04:25 +0200 |
|---|---|---|
| committer | Lukas Larsson <[email protected]> | 2017-10-25 10:04:25 +0200 |
| commit | 8c8467e3ad26932aaacfb01efb2118d986e5200f (patch) | |
| tree | e489e9513f0c584b4ce030731552c876bd9ae789 /lib/runtime_tools/doc/src/Makefile | |
| parent | a9812e6307fe335d077f96d3a6342cbd4894ed0b (diff) | |
| download | otp-8c8467e3ad26932aaacfb01efb2118d986e5200f.tar.gz otp-8c8467e3ad26932aaacfb01efb2118d986e5200f.tar.bz2 otp-8c8467e3ad26932aaacfb01efb2118d986e5200f.zip | |
erts: Only do PGO if gcc supports -fprofile-correction
Diffstat (limited to 'lib/runtime_tools/doc/src/Makefile')
0 files changed, 0 insertions, 0 deletions