commit | 640ed520dd6a43a8bf470b79542f58b5d57af9de | [log] [tgz] |
---|---|---|
author | Victor Stinner <vstinner@redhat.com> | Sun Dec 16 18:00:42 2018 +0100 |
committer | GitHub <noreply@github.com> | Sun Dec 16 18:00:42 2018 +0100 |
tree | d12ba4f31fba82dda6e7da9f844204a573ec4a75 | |
parent | f5107dfd42121ef40b13eb678705802f0ff02cf9 [diff] |
bpo-35499: make profile-opt don't override CFLAGS_NODIST (GH-11164) "make profile-opt" no longer replaces CFLAGS_NODIST with CFLAGS. It now adds profile-guided optimization (PGO) flags to CFLAGS_NODIST, existing CFLAGS_NODIST flags are kept.